Show More
@@ -1200,7 +1200,7 b' class ui(object):' | |||||
1200 | dest.write(msg) |
|
1200 | dest.write(msg) | |
1201 | # stderr may be buffered under win32 when redirected to files, |
|
1201 | # stderr may be buffered under win32 when redirected to files, | |
1202 | # including stdout. |
|
1202 | # including stdout. | |
1203 |
if dest is self._ferr and not getattr( |
|
1203 | if dest is self._ferr and not getattr(dest, 'closed', False): | |
1204 | dest.flush() |
|
1204 | dest.flush() | |
1205 | except IOError as err: |
|
1205 | except IOError as err: | |
1206 | if dest is self._ferr and err.errno in ( |
|
1206 | if dest is self._ferr and err.errno in ( |
General Comments 0
You need to be logged in to leave comments.
Login now