repo: unprotect: use os.rename() instead of move()

Follow up for #1752
This commit is contained in:
Ruslan Kuprieiev
2019-03-19 19:42:25 +02:00
committed by GitHub
parent 90e41de5f7
commit 7cd618ce5d
+1 -1
View File
@@ -21,7 +21,7 @@ def _unprotect_file(path):
# the temporary name, and then original file should be replaced by new.
copyfile(path, tmp)
remove(path)
move(tmp, path)
os.rename(tmp, path)
else:
logger.debug(