##// END OF EJS Templates
merge with crew
Benoit Boissinot -
r10426:5a3a916a merge default
parent child Browse files
Show More
@@ -237,13 +237,13 b' class ui(object):'
237 237
238 238 def write_err(self, *args):
239 239 try:
240 if not hasattr(sys.stdout, 'closed') or not sys.stdout.closed:
240 if not getattr(sys.stdout, 'closed', False):
241 241 sys.stdout.flush()
242 242 for a in args:
243 243 sys.stderr.write(str(a))
244 244 # stderr may be buffered under win32 when redirected to files,
245 245 # including stdout.
246 if not sys.stderr.closed:
246 if not getattr(sys.stderr, 'closed', False):
247 247 sys.stderr.flush()
248 248 except IOError, inst:
249 249 if inst.errno != errno.EPIPE:
General Comments 0
You need to be logged in to leave comments. Login now