Show More
@@ -385,6 +385,9 b' class ui(object):' | |||
|
385 | 385 | if not sys.stdout.closed: sys.stdout.flush() |
|
386 | 386 | for a in args: |
|
387 | 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 | 391 | except IOError, inst: |
|
389 | 392 | if inst.errno != errno.EPIPE: |
|
390 | 393 | raise |
General Comments 0
You need to be logged in to leave comments.
Login now