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())