equal
deleted
inserted
replaced
799 # stderr may be buffered under win32 when redirected to files, |
799 # stderr may be buffered under win32 when redirected to files, |
800 # including stdout. |
800 # including stdout. |
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 |
809 starttime = util.timer() |
808 starttime = util.timer() |
810 try: |
809 try: |