devtools/htmlparser.py
branch3.5
changeset 3316 c4c07aab1c39
parent 3151 5d45c0945bd3
child 3163 edfe43ceaa35
child 3325 44caeccd2db9
--- a/devtools/htmlparser.py	Fri Sep 18 11:06:42 2009 +0200
+++ b/devtools/htmlparser.py	Fri Sep 18 12:20:39 2009 +0200
@@ -36,7 +36,11 @@
 class DTDValidator(Validator):
     def __init__(self):
         Validator.__init__(self)
-        self.parser = etree.XMLParser(dtd_validation=True)
+        # XXX understand what's happening under windows
+        validate = True
+        if sys.platform == 'win32':
+            validate = False
+        self.parser = etree.XMLParser(dtd_validation=validate)
 
     def preprocess_data(self, data):
         """used to fix potential blockquote mess generated by docutils"""