equal
deleted
inserted
replaced
739 return self.fp.write(s) |
739 return self.fp.write(s) |
740 except IOError, inst: |
740 except IOError, inst: |
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 |
747 def system_rcpath(): |
755 def system_rcpath(): |
748 try: |
756 try: |