win32: remove excessive flushing
Our Windows file code was flushing buffers from the operating system
to disk, rather than from the application to the operating system.
--- a/mercurial/util_win32.py Sat Jan 26 19:55:04 2008 +0100
+++ b/mercurial/util_win32.py Wed Jan 30 17:30:34 2008 -0600
@@ -294,10 +294,8 @@
self.closed = True
def flush(self):
- try:
- win32file.FlushFileBuffers(self.handle)
- except pywintypes.error, err:
- raise WinIOError(err)
+ # we have no application-level buffering
+ pass
def truncate(self, pos=0):
try: