ppapi_server.py 文件源码

def before_request():
    global hostname, master_ip, master_port, run_ids, c_type
    hostname = request.host
    run_ids = []
    try:
        min_run_id = int(request.form.get('min_run_id'))
        max_run_id = int(request.form.get('max_run_id'))
        for run_id in range(min_run_id, max_run_id + 1):
            run_ids.append(run_id)
    except:
        pass

    master = request.form.get('master')
    if master is not None:
        if ":" in master:
            (master_ip, master_port) = master.split(":")
        else:
            master_ip = master
    c_type = request.form.get('type')

#####################
# Resource End Points
#####################

##
# System Memory