Searched refs:_DEFAULT_SERVER_PORT (Results 1 – 1 of 1) sorted by relevance
49 _DEFAULT_SERVER_PORT = 8080 variable924 server_cmd = ['--port=%s' % _DEFAULT_SERVER_PORT]943 ('-p', str(_DEFAULT_SERVER_PORT + i))956 _DEFAULT_SERVER_PORT),963 docker_args += ['-p', str(_DEFAULT_SERVER_PORT)]1279 job.mapped_port(_DEFAULT_SERVER_PORT))1437 server_port = _DEFAULT_SERVER_PORT + offset1459 server_port = _DEFAULT_SERVER_PORT + offset