diff -r 43d8f7466920 -r e817c68edfed mercurial/util.py --- a/mercurial/util.py Mon Feb 19 10:29:05 2007 +0100 +++ b/mercurial/util.py Mon Feb 19 10:32:46 2007 +0100 @@ -741,6 +741,14 @@ if inst.errno != 0: raise self.close() raise IOError(errno.EPIPE, 'Broken pipe') + + def flush(self): + try: + return self.fp.flush() + except IOError, inst: + if inst.errno != errno.EINVAL: raise + self.close() + raise IOError(errno.EPIPE, 'Broken pipe') sys.stdout = winstdout(sys.stdout)