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