##// 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
@@ -742,6 +742,14 b" if os.name == 'nt':"
742 self.close()
742 self.close()
743 raise IOError(errno.EPIPE, 'Broken pipe')
743 raise IOError(errno.EPIPE, 'Broken pipe')
744
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')
752
745 sys.stdout = winstdout(sys.stdout)
753 sys.stdout = winstdout(sys.stdout)
746
754
747 def system_rcpath():
755 def system_rcpath():
General Comments 0
You need to be logged in to leave comments. Login now