devtools/htmlparser.py
branch3.5
changeset 3316 c4c07aab1c39
parent 3151 5d45c0945bd3
child 3163 edfe43ceaa35
child 3325 44caeccd2db9
equal deleted inserted replaced
3314:cfa77453e742 3316:c4c07aab1c39
    34 
    34 
    35 
    35 
    36 class DTDValidator(Validator):
    36 class DTDValidator(Validator):
    37     def __init__(self):
    37     def __init__(self):
    38         Validator.__init__(self)
    38         Validator.__init__(self)
    39         self.parser = etree.XMLParser(dtd_validation=True)
    39         # XXX understand what's happening under windows
       
    40         validate = True
       
    41         if sys.platform == 'win32':
       
    42             validate = False
       
    43         self.parser = etree.XMLParser(dtd_validation=validate)
    40 
    44 
    41     def preprocess_data(self, data):
    45     def preprocess_data(self, data):
    42         """used to fix potential blockquote mess generated by docutils"""
    46         """used to fix potential blockquote mess generated by docutils"""
    43         if STRICT_DOCTYPE not in data:
    47         if STRICT_DOCTYPE not in data:
    44             return data
    48             return data