Show More
@@ -741,6 +741,14 b" if os.name == 'nt':" | |||||
741 | if inst.errno != 0: raise |
|
741 | if inst.errno != 0: raise | |
742 | self.close() |
|
742 | self.close() | |
743 | raise IOError(errno.EPIPE, 'Broken pipe') |
|
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 | sys.stdout = winstdout(sys.stdout) |
|
753 | sys.stdout = winstdout(sys.stdout) | |
746 |
|
754 |
General Comments 0
You need to be logged in to leave comments.
Login now