Merge pull request #231 from PiRSquared17/ignore-leading-spaces

Allow spaces before <mediawiki> tag.
9 years ago · d31709338d
parent ba48c43d34 fc276d525f
commit d31709338d
1 changed files with 1 additions and 1 deletions
--- a/dumpgenerator.py
+++ b/dumpgenerator.py
@ -399,7 +399,7 @@ def getXMLHeader(config={}, session=None):
        xml = pme.xml

    header = xml.split('</mediawiki>')[0]
-    if not re.match("<mediawiki", xml):
+    if not re.match(r"\s*<mediawiki", xml):
        print 'XML export on this wiki is broken, quitting.'
        sys.exit()
    return header