branch | stable |
changeset 16367 | c14898df3b92 |
parent 15919 | 69e792cf7851 |
child 16373 | 329887a7074c |
--- a/mercurial/ui.py Thu Apr 05 12:31:21 2012 +0100 +++ b/mercurial/ui.py Wed Apr 04 12:46:54 2012 -0500 @@ -480,7 +480,7 @@ if not getattr(self.ferr, 'closed', False): self.ferr.flush() except IOError, inst: - if inst.errno not in (errno.EPIPE, errno.EIO): + if inst.errno not in (errno.EPIPE, errno.EIO, errno.EBADF): raise def flush(self):