0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

backport: removal of files on Windows before --revert and conversion file rename

Browse source 
Windows won't allow a rename to overwrite an existing file (without Error 183, file already exists).
This commit is contained in:
Groggy Dice 2013-06-30 22:01:09 -04:00
parent 8b0bce5d15
commit 2fc24bf8aa
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
data/tools/wmllint-1.4
View file

@ -2098,6 +2098,8 @@ if __name__ == '__main__':
elif revert:
print "wmllint: reverting %s" % backup
if not dryrun:
if sys.platform == 'win32':
os.remove(fn)
os.rename(backup, fn)
elif diffs:
# Display diffs
@ -2116,6 +2118,8 @@ if __name__ == '__main__':
if changed:
print "wmllint: converting", fn
if not dryrun:
if sys.platform == 'win32' and os.path.exists(backup):
os.remove(backup)
os.rename(fn, backup)
ofp = open(fn, "w")
ofp.write(changed)