hgext/pager.py
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")