Thu, 31 Jul 2014 16:37:52 +0200
Exception on exception handling of the background service on slow computers fixed.
(grafted from b65577e5c8c6b10c8faf00ea322fb46e759245e7)
Utilities/BackgroundClient.py | file | annotate | diff | comparison | revisions |
--- 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()