mercurial/worker.py
changeset 35453 44fd4cfc6c0a
parent 35432 86b8cc1f244e
child 36835 5bc7ff103081
--- a/mercurial/worker.py	Mon Dec 18 14:37:00 2017 -0800
+++ b/mercurial/worker.py	Mon Dec 18 15:18:37 2017 -0800
@@ -282,7 +282,7 @@
                 if t.exception is not None:
                     raise t.exception
                 threads.remove(t)
-    except Exception: # re-raises
+    except (Exception, KeyboardInterrupt): # re-raises
         trykillworkers()
         raise
     while not resultqueue.empty():