hgext/color.py
changeset 11207 1d714c1546b5
parent 11186 a890cc501501
child 11302 e1dde7363601
--- a/hgext/color.py	Thu May 20 15:58:16 2010 -0500
+++ b/hgext/color.py	Tue May 18 18:55:14 2010 +0900
@@ -198,10 +198,14 @@
         _effects.update(w32effects)
     elif mode != 'ansi':
         return
+
+    # check isatty() before anything else changes it (like pager)
+    isatty = sys.__stdout__.isatty()
+
     def colorcmd(orig, ui_, opts, cmd, cmdfunc):
         if (opts['color'] == 'always' or
             (opts['color'] == 'auto' and (os.environ.get('TERM') != 'dumb'
-                                          and sys.__stdout__.isatty()))):
+                                          and isatty))):
             global _buffers
             _buffers = ui_._buffers
             extensions.wrapfunction(ui_, 'popbuffer', popbuffer)