mirror of
https://github.com/wesnoth/wesnoth
synced 2025-05-02 12:42:23 +00:00
possible fix for bug #15846 - _server.ign not quite working
This commit is contained in:
parent
4d24d5de80
commit
238bb00d29
@ -292,6 +292,8 @@ if __name__ == "__main__":
|
||||
pbl = wmldata.read_file(pblfile, "PBL")
|
||||
if os.path.exists(ignfile):
|
||||
ign = open(ignfile).readlines()
|
||||
# strip line endings and whitespace
|
||||
ign = [i.strip() for i in ign]
|
||||
else:
|
||||
ign = [
|
||||
".*",
|
||||
|
Loading…
x
Reference in New Issue
Block a user