diff options
| author |  Craig Tiller <ctiller@google.com> | 2017-02-14 22:35:39 -0800 |
|---|---|---|
| committer | Craig Tiller <ctiller@google.com> | 2017-02-14 22:35:39 -0800 |
| commit | 37bfff35eeee1805a88b6ab5bbf91c434c52336e (patch) | |
| tree | cee451c29c0062bc58911ee49e64d01ba9631403 /tools/run_tests/python_utils | |
| parent | 90e443280a377753eb03511b458850711858274d (diff) | |
Fix port server
Diffstat (limited to 'tools/run_tests/python_utils')
| -rw-r--r-- | tools/run_tests/python_utils/start_port_server.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/run_tests/python_utils/start_port_server.py b/tools/run_tests/python_utils/start_port_server.py index d521aa6a9d..8ee7080168 100644 --- a/tools/run_tests/python_utils/start_port_server.py +++ b/tools/run_tests/python_utils/start_port_server.py @@ -36,6 +36,7 @@ import tempfile import sys import time import jobset +import socket def start_port_server(port_server_port): # check if a compatible port server is running |