SaveFile: os.replace instead of rename

This commit is contained in:
Marian Beermann 2016-07-26 22:39:45 +02:00
parent f4be2b3523
commit dec671d8ff
1 changed files with 1 additions and 1 deletions

View File

@ -148,7 +148,7 @@ class SaveFile:
if exc_type is not None: if exc_type is not None:
os.unlink(self.tmppath) os.unlink(self.tmppath)
return return
os.rename(self.tmppath, self.path) os.replace(self.tmppath, self.path)
platform.sync_dir(os.path.dirname(self.path)) platform.sync_dir(os.path.dirname(self.path))