hgext/pager.py
changeset 18717 fcc4b55876c3
parent 17305 e66fa4d587dc
child 18923 d2647edb1782
--- a/hgext/pager.py	Fri Feb 22 13:46:54 2013 -0600
+++ b/hgext/pager.py	Fri Feb 22 15:17:33 2013 -0600
@@ -94,6 +94,8 @@
 
     @atexit.register
     def killpager():
+        if util.safehasattr(signal, "SIGINT"):
+            signal.signal(signal.SIGINT, signal.SIG_IGN)
         pager.stdin.close()
         os.dup2(stdout, sys.stdout.fileno())
         os.dup2(stderr, sys.stderr.fileno())