Show More
@@ -237,13 +237,13 class ui(object): | |||
|
237 | 237 | |
|
238 | 238 | def write_err(self, *args): |
|
239 | 239 | try: |
|
240 |
if not |
|
|
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 |
|
|
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