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

Fix a bonehead error in applying wmlindent to multiple arguments.

Browse source
This commit is contained in:
Eric S. Raymond 2007-06-28 21:48:19 +00:00
parent 318df43f6a
commit 71676359f8
1 changed files with 10 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
data/tools/wmlindent
View file

@ -74,21 +74,21 @@ def convertor(linefilter, filelist):
if not filelist:
linefilter("standard input", sys.stdin, sys.stdout)
else:
try:
for filename in filelist:
for filename in filelist:
try:
infp = open(filename, "r")
outfp = open(filename + ".out", "w")
linefilter(filename, infp, outfp)
infp.close()
outfp.close()
except KeyboardInterrupt:
os.remove(filename + ".out")
else:
os.remove(filename) # For Windows portability
# There's a tiny window here. It's unavoidable, because there's
# no known way to do an atomic rename under Windows when the
# taget exists -- see Python manual 14.1.4::rename()
os.rename(filename + ".out", filename)
except KeyboardInterrupt:
os.remove(filename + ".out")
else:
os.remove(filename) # For Windows portability
# There's a tiny window here. It's unavoidable, because there's
# no known way to do an atomic rename under Windows when the
# target exists -- see Python manual 14.1.4::rename()
os.rename(filename + ".out", filename)
if __name__ == '__main__':
(options, arguments) = getopt.getopt(sys.argv[1:], "h:")