Allow spaces before <mediawiki> tag.

9 years ago · fc276d525f
parent 711a88df59
commit fc276d525f
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