##// END OF EJS Templates
stdio: raise StdioError if something goes wrong in ui.flush...
Bryan O'Sullivan -
r31963:1bfb9a63 default
parent child Browse files
Show More
@@ -807,10 +807,15 b' class ui(object):'
807 # opencode timeblockedsection because this is a critical path
807 # opencode timeblockedsection because this is a critical path
808 starttime = util.timer()
808 starttime = util.timer()
809 try:
809 try:
810 try: self.fout.flush()
810 try:
811 except (IOError, ValueError): pass
811 self.fout.flush()
812 try: self.ferr.flush()
812 except IOError as err:
813 except (IOError, ValueError): pass
813 raise error.StdioError(err)
814 finally:
815 try:
816 self.ferr.flush()
817 except IOError as err:
818 raise error.StdioError(err)
814 finally:
819 finally:
815 self._blockedtimes['stdio_blocked'] += \
820 self._blockedtimes['stdio_blocked'] += \
816 (util.timer() - starttime) * 1000
821 (util.timer() - starttime) * 1000
General Comments 0
You need to be logged in to leave comments. Login now