Function process_args

pydev_run_in_console.py:80–100

(argv)

def process_args(argv):
    setup_args = {"file": "", "module": False}

    setup_args["port"] = argv[1]
    del argv[1]
    setup_args["client_port"] = argv[1]
    del argv[1]

    module_flag = "--module"
    if module_flag in argv:
        i = argv.index(module_flag)
        if i != -1:
            setup_args["module"] = True
            setup_args["file"] = argv[i + 1]
            del sys.argv[i]
    else:
        setup_args["file"] = argv[1]

    del argv[0]

    return setup_args


# =======================================================================================================================