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

wmllint: removed an instance of deprecated dict.has_key()

Browse source
This commit is contained in:
Elvish_Hunter 2015-08-14 18:19:49 +02:00
parent 5c1047d372
commit 681d033bca
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
data/tools/wmllint
View file

@ -1540,7 +1540,7 @@ def global_sanity_check(filename, lines):
fields = lines[i].split("wmllint: who ", 1)[1].split(" is ", 1)
if len(fields) == 2:
mac = string_strip(fields[0].strip()).strip('{}')
if whopairs.has_key(mac):
if mac in whopairs:
whopairs[mac] = whopairs[mac] + ", " + fields[1].strip()
else:
whopairs.update({mac: fields[1].strip()})