merge with trunk

This commit is contained in:
Georg Brandl
2009-01-14 00:07:11 +01:00

View File

@@ -366,6 +366,7 @@ def force_decode(string, encoding):
def movefile(source, dest):
# move a file, removing the destination if it exists
if os.path.exists(dest):
try:
os.unlink(dest)
except OSError:
pass