Fix port server

8 years ago · 37bfff35ee
parent 90e443280a
commit 37bfff35ee
1 changed files with 1 additions and 0 deletions
--- 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