equal
deleted
inserted
replaced
92 if ui._isatty(sys.stderr): |
92 if ui._isatty(sys.stderr): |
93 os.dup2(pager.stdin.fileno(), sys.stderr.fileno()) |
93 os.dup2(pager.stdin.fileno(), sys.stderr.fileno()) |
94 |
94 |
95 @atexit.register |
95 @atexit.register |
96 def killpager(): |
96 def killpager(): |
|
97 if util.safehasattr(signal, "SIGINT"): |
|
98 signal.signal(signal.SIGINT, signal.SIG_IGN) |
97 pager.stdin.close() |
99 pager.stdin.close() |
98 os.dup2(stdout, sys.stdout.fileno()) |
100 os.dup2(stdout, sys.stdout.fileno()) |
99 os.dup2(stderr, sys.stderr.fileno()) |
101 os.dup2(stderr, sys.stderr.fileno()) |
100 pager.wait() |
102 pager.wait() |
101 |
103 |