diff options
Diffstat (limited to 'grc/base/Platform.py')
| -rw-r--r-- | grc/base/Platform.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/grc/base/Platform.py b/grc/base/Platform.py index 88cbf32b89..66266b1b71 100644 --- a/grc/base/Platform.py +++ b/grc/base/Platform.py @@ -99,6 +99,8 @@ class Platform(_Element): try: #try to add the xml file as a block tree ParseXML.validate_dtd(xml_file, BLOCK_TREE_DTD) self._block_tree_files.append(xml_file) + # remove the block DTD error, since iti s a valid block tree + ParseXML.xml_failures.pop(xml_file) except ParseXML.XMLSyntaxError, e: print >> sys.stderr, 'Warning: Block validation failed:\n\t%s\n\tIgnoring: %s'%(e, xml_file) except Exception, e: |