127 tbinfo = tbinfofile.read() |
128 tbinfo = tbinfofile.read() |
128 del exctb |
129 del exctb |
129 self.__send( |
130 self.__send( |
130 'EXCEPTION', '?', [str(exctype), str(excval), tbinfo]) |
131 'EXCEPTION', '?', [str(exctype), str(excval), tbinfo]) |
131 |
132 |
|
133 # Give time to process latest response on server side |
|
134 time.sleep(0.5) |
132 self.connection.shutdown(socket.SHUT_RDWR) |
135 self.connection.shutdown(socket.SHUT_RDWR) |
133 self.connection.close() |
136 self.connection.close() |
134 |
137 |
135 if __name__ == '__main__': |
138 if __name__ == '__main__': |
136 if len(sys.argv) != 3: |
139 if len(sys.argv) != 3: |