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

wmllint-1.4: simplify a line modification

Browse source
This commit is contained in:
Elvish_Hunter 2015-09-15 00:03:47 +02:00
parent 2877a6a489
commit f4f11c03fc
1 changed files with 1 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
data/tools/wmllint-1.4
View file

@ -1659,10 +1659,7 @@ def is_map(filename):
lines = fp.readlines()
has_map_content = False
for i, line in enumerate(lines):
if line.endswith("\n"):
lines[i] = line[:-1]
if line.endswith("\r"):
lines[i] = line[:-1]
lines[i] = line.rstrip("\n\r")
w = len(lines[0])
for line in lines:
if len(line) != w: