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

Wesnoth WML tools module now has an issave() entry pointy...

Browse source 
...that detects savefiles, including compressed savefiles.
This commit is contained in:
Eric S. Raymond 2009-04-14 13:41:28 +00:00
parent 590083fa78
commit 9cd76d490c
1 changed files with 11 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
data/tools/wesnoth/wmltools.py
View file

@ -3,7 +3,7 @@ wmltools.py -- Python routines for working with a Battle For Wesnoth WML tree
"""
import sys, os, re, sre_constants, md5, glob
import sys, os, re, sre_constants, md5, glob, gzip
resource_extensions = ("png", "jpg", "jpeg", "ogg", "wav", "map", "mask")
image_reference = r"[A-Za-z0-9{}.][A-Za-z0-9_/+{}.-]*\.(png|jpg)(?=(~.*)?)"
@ -119,6 +119,16 @@ def iswml(filename):
"Is the specified filename WML?"
return filename.endswith(".cfg")
def issave(filename):
"Is the specified filename a WML save? (Detects compressed saves too.)"
if isresource(filename):
return False
if filename.endswith(".gz"):
firstline = gzip.open(filename).readline()
else:
firstline = open(filename).readline()
return firstline.startswith("label=")
def isresource(filename):
"Is the specified name a resource?"
(root, ext) = os.path.splitext(filename)