From 37bfff35eeee1805a88b6ab5bbf91c434c52336e Mon Sep 17 00:00:00 2001
From: Craig Tiller <ctiller@google.com>
Date: Tue, 14 Feb 2017 22:35:39 -0800
Subject: [PATCH] Fix port server

---
 tools/run_tests/python_utils/start_port_server.py | 1 +
 1 file changed, 1 insertion(+)

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
-- 
GitLab