##// END OF EJS Templates
worker: handle interrupt on windows...
Wojciech Lis -
r35469:44fd4cfc @6 default
parent child Browse files
Show More
@@ -282,7 +282,7 b' def _windowsworker(ui, func, staticargs,'
282 if t.exception is not None:
282 if t.exception is not None:
283 raise t.exception
283 raise t.exception
284 threads.remove(t)
284 threads.remove(t)
285 except Exception: # re-raises
285 except (Exception, KeyboardInterrupt): # re-raises
286 trykillworkers()
286 trykillworkers()
287 raise
287 raise
288 while not resultqueue.empty():
288 while not resultqueue.empty():
General Comments 0
You need to be logged in to leave comments. Login now