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

wmllint, wmlscope and wmlindent: fixed bug caused by Windows' command prompt appending double quotes to arguments

Browse source 
This is a backport of Elvish Hunter's 2013-02-23T13:04:12Z fix to 1.11.
This commit is contained in:
Elvish_Hunter 2013-02-23 13:04:12 +00:00 • committed by Groggy Dice
parent 2fc24bf8aa
commit db1debd6c0
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
data/tools/wmllint-1.4
View file

@ -2078,6 +2078,12 @@ if __name__ == '__main__':
if not arguments:
arguments = ["."]
# in certain situations, Windows' command prompt appends a double quote
# to the command line parameters. This block takes care of this issue.
for i,arg in enumerate(arguments):
if arg.endswith('"'):
arguments[i] = arg[:-1]
for dir in arguments:
ofp = None
if "older" in versions: