changeset 6456 | db5324d3c257 |
parent 6455 | fb76d58f5fee |
child 6457 | 7ef281e78c64 |
--- a/hgext/pager.py Thu Apr 03 10:49:42 2008 +0200 +++ b/hgext/pager.py Thu Apr 03 11:11:31 2008 +0200 @@ -29,7 +29,7 @@ def uisetup(ui): p = ui.config("pager", "pager", os.environ.get("PAGER")) - if p and sys.stdout.isatty() and not ui.debugflag: + if p and sys.stdout.isatty() and '--debugger' not in sys.argv: if ui.configbool('pager', 'quiet'): signal.signal(signal.SIGPIPE, signal.SIG_DFL) sys.stderr = sys.stdout = os.popen(p, "wb")