##// END OF EJS Templates
stdout raises EINVAL when flush() is called on a closed pipe under win32....
Patrick Mezard -
r4129:e817c68e default
parent child Browse files
Show More
@@ -741,6 +741,14 b" if os.name == 'nt':"
741 741 if inst.errno != 0: raise
742 742 self.close()
743 743 raise IOError(errno.EPIPE, 'Broken pipe')
744
745 def flush(self):
746 try:
747 return self.fp.flush()
748 except IOError, inst:
749 if inst.errno != errno.EINVAL: raise
750 self.close()
751 raise IOError(errno.EPIPE, 'Broken pipe')
744 752
745 753 sys.stdout = winstdout(sys.stdout)
746 754
General Comments 0
You need to be logged in to leave comments. Login now