##// END OF EJS Templates
Flush stderr after write....
Patrick Mezard -
r4023:6ea8a3b8 default
parent child Browse files
Show More
@@ -385,6 +385,9 b' class ui(object):'
385 if not sys.stdout.closed: sys.stdout.flush()
385 if not sys.stdout.closed: sys.stdout.flush()
386 for a in args:
386 for a in args:
387 sys.stderr.write(str(a))
387 sys.stderr.write(str(a))
388 # stderr may be buffered under win32 when redirected to files,
389 # including stdout.
390 if not sys.stderr.closed: sys.stderr.flush()
388 except IOError, inst:
391 except IOError, inst:
389 if inst.errno != errno.EPIPE:
392 if inst.errno != errno.EPIPE:
390 raise
393 raise
General Comments 0
You need to be logged in to leave comments. Login now