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()