mercurial/ui.py
branchstable
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):