changeset 5935:0973501e5f4a

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.
author Matt Mackall <mpm@selenic.com>
date Wed, 30 Jan 2008 17:30:34 -0600
parents e495f3f35b2d
children 821fc5c0656c e82dd2dd6276
files mercurial/util_win32.py
diffstat 1 files changed, 2 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- 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: