##// 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 801 if not getattr(self.ferr, 'closed', False):
802 802 self.ferr.flush()
803 803 except IOError as inst:
804 if inst.errno not in (errno.EPIPE, errno.EIO, errno.EBADF):
805 raise
804 raise error.StdioError(inst)
806 805
807 806 def flush(self):
808 807 # opencode timeblockedsection because this is a critical path
General Comments 0
You need to be logged in to leave comments. Login now