mercurial/util.py
changeset 9544 b6b0c42739e9
parent 9517 4368f582c806
parent 9529 e61e7b3e46d0
child 9548 7732606b0767
--- a/mercurial/util.py	Mon Oct 05 22:57:15 2009 +0200
+++ b/mercurial/util.py	Tue Oct 06 16:08:38 2009 -0500
@@ -427,7 +427,14 @@
 
         temp = tempname(dst)
         os.rename(dst, temp)
-        os.unlink(temp)
+        try:
+            os.unlink(temp)
+        except:
+            # Some rude AV-scanners on Windows may cause the unlink to
+            # fail. Not aborting here just leaks the temp file, whereas
+            # aborting at this point may leave serious inconsistencies.
+            # Ideally, we would notify the user here.
+            pass
         os.rename(src, dst)
 
 def unlink(f):