Fix server termination after timeout

DarkaMaul · Jul 13, 2017 · 4b0e9d4 · 4b0e9d4
1 parent 6299764
commit 4b0e9d4
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/tools/server.py b/tools/server.py
@@ -4,6 +4,7 @@
 import os
 import subprocess
 import sys
+import time
 from threading import Thread
 from SocketServer import StreamRequestHandler, ThreadingTCPServer
 
@@ -60,7 +61,8 @@ def launch_ajl(args):
     p = subprocess.Popen(' '.join(ajl_cmd))
     try:
         with Timeout(args.timeout + 5):
-            p.communicate()
+            while p.poll() is None:
+                time.sleep(0.1)
     except TimeoutError:
         terminate(p)