equal
deleted
inserted
replaced
244 except: pass |
244 except: pass |
245 try: sys.stderr.flush() |
245 try: sys.stderr.flush() |
246 except: pass |
246 except: pass |
247 |
247 |
248 def interactive(self): |
248 def interactive(self): |
249 return self.configbool("ui", "interactive") or sys.stdin.isatty() |
249 i = self.configbool("ui", "interactive", None) |
|
250 if i is None: |
|
251 return sys.stdin.isatty() |
|
252 return i |
250 |
253 |
251 def _readline(self, prompt=''): |
254 def _readline(self, prompt=''): |
252 if sys.stdin.isatty(): |
255 if sys.stdin.isatty(): |
253 try: |
256 try: |
254 # magically add command line editing support, where |
257 # magically add command line editing support, where |