##// END OF EJS Templates
stdio: raise StdioError if something goes wrong in ui._write_err...
Bryan O'Sullivan -
r31962:e9646ff3 default
parent child Browse files
Show More
@@ -801,8 +801,7 b' class ui(object):'
801 if not getattr(self.ferr, 'closed', False):
801 if not getattr(self.ferr, 'closed', False):
802 self.ferr.flush()
802 self.ferr.flush()
803 except IOError as inst:
803 except IOError as inst:
804 if inst.errno not in (errno.EPIPE, errno.EIO, errno.EBADF):
804 raise error.StdioError(inst)
805 raise
806
805
807 def flush(self):
806 def flush(self):
808 # opencode timeblockedsection because this is a critical path
807 # opencode timeblockedsection because this is a critical path
General Comments 0
You need to be logged in to leave comments. Login now