changeset 6455:fb76d58f5fee

Pager extension: switch it off if --debugger is set The pager is preventing the debugger prompt and much of the debugger output to be refreshed. Moreover the pager does not make sense when debugging line by line (Thanks to Gilles Moris).
author David Soria Parra <dsp <at> php.net>
date Thu, 03 Apr 2008 10:49:42 +0200
parents 00a3369d06b6
children db5324d3c257
files hgext/pager.py
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/hgext/pager.py	Wed Apr 02 21:45:35 2008 +0200
+++ b/hgext/pager.py	Thu Apr 03 10:49:42 2008 +0200
@@ -29,7 +29,7 @@
 
 def uisetup(ui):
     p = ui.config("pager", "pager", os.environ.get("PAGER"))
-    if p and sys.stdout.isatty():
+    if p and sys.stdout.isatty() and not ui.debugflag:
         if ui.configbool('pager', 'quiet'):
             signal.signal(signal.SIGPIPE, signal.SIG_DFL)
         sys.stderr = sys.stdout = os.popen(p, "wb")