mercurial/ui.py
changeset 8538 6419bc7b3d9c
parent 8527 f9a80054dd3c
child 8642 2ed353a413b1
--- a/mercurial/ui.py	Thu May 21 22:41:18 2009 +0200
+++ b/mercurial/ui.py	Thu May 21 20:59:36 2009 +0200
@@ -246,7 +246,10 @@
         except: pass
 
     def interactive(self):
-        return self.configbool("ui", "interactive") or sys.stdin.isatty()
+        i = self.configbool("ui", "interactive", None)
+        if i is None:
+            return sys.stdin.isatty()
+        return i
 
     def _readline(self, prompt=''):
         if sys.stdin.isatty():