win32: remove excessive flushing
authorMatt Mackall <mpm@selenic.com>
Wed, 30 Jan 2008 17:30:34 -0600
changeset 5935 0973501e5f4a
parent 5934 e495f3f35b2d
child 5969 821fc5c0656c
child 5977 e82dd2dd6276
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.
mercurial/util_win32.py
--- 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: