devtools/htmlparser.py
changeset 3163 edfe43ceaa35
parent 2773 b2530e3e0afb
parent 3151 5d45c0945bd3
child 3369 7b88d12b4ee2
--- a/devtools/htmlparser.py	Wed Sep 02 16:42:07 2009 +0200
+++ b/devtools/htmlparser.py	Thu Sep 10 08:13:22 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"""