Utilities/BackgroundClient.py

changeset 3744
cc879190cef7
parent 3591
2f2a4a76dd22
child 4021
195a471c327b
diff -r 597a7ed80780 -r cc879190cef7 Utilities/BackgroundClient.py
--- a/Utilities/BackgroundClient.py	Wed Jul 30 19:54:45 2014 +0200
+++ b/Utilities/BackgroundClient.py	Thu Jul 31 16:37:52 2014 +0200
@@ -20,6 +20,7 @@
 import socket
 import struct
 import sys
+import time
 import traceback
 from zlib import adler32
 
@@ -129,6 +130,8 @@
             self.__send(
                 'EXCEPTION', '?', [str(exctype), str(excval), tbinfo])
 
+        # Give time to process latest response on server side
+        time.sleep(0.5)
         self.connection.shutdown(socket.SHUT_RDWR)
         self.connection.close()
 

eric ide

mercurial