Exception on exception handling of the background service on slow computers fixed. 5_5_x

Thu, 31 Jul 2014 16:37:52 +0200

author
T.Rzepka <Tobias.Rzepka@gmail.com>
date
Thu, 31 Jul 2014 16:37:52 +0200
branch
5_5_x
changeset 3741
b65577e5c8c6
parent 3736
2eda9afc3b14
child 3742
ea909da895ab

Exception on exception handling of the background service on slow computers fixed.

Utilities/BackgroundClient.py file | annotate | diff | comparison | revisions
--- a/Utilities/BackgroundClient.py	Wed Jul 30 19:44:46 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