mercurial/dispatch.py
changeset 32111 1208b74841ff
parent 32054 616e788321cc
child 32130 c3dcec6cbc1b
--- a/mercurial/dispatch.py	Tue May 02 17:29:01 2017 -0500
+++ b/mercurial/dispatch.py	Sat Apr 22 15:00:17 2017 -0700
@@ -162,9 +162,13 @@
     ret = None
     try:
         ret = _runcatch(req)
-    except KeyboardInterrupt:
+    except KeyboardInterrupt as inst:
         try:
-            req.ui.warn(_("interrupted!\n"))
+            if isinstance(inst, error.SignalInterrupt):
+                msg = _("killed!\n")
+            else:
+                msg = _("interrupted!\n")
+            req.ui.warn(msg)
         except error.SignalInterrupt:
             # maybe pager would quit without consuming all the output, and
             # SIGPIPE was raised. we cannot print anything in this case.