Changeset 15a8c94 for doc/user-guide

Timestamp:

2016-12-26T00:18:55Z (8 years ago)

Author:

dequis <dx@…>

Branches:

master

Children:

1999fe5

Parents:

df291a6

git-author:

dequis <dx@…> (24-12-16 16:09:43)

git-committer:

dequis <dx@…> (26-12-16 00:18:55)

Message:

genhelp: Slightly improve error messages on xml parse error

File:

• doc/user-guide/genhelp.py (modified) (1 diff)

doc/user-guide/genhelp.py

@@ -73 +73 @@
 
 def process_file(filename, parent=None):
-    tree = ET.parse(open(filename)).getroot()
+    try:
+        tree = ET.parse(open(filename)).getroot()
+    except:
+        sys.stderr.write("\nException while processing %s\n" % filename)
+        raise
     fix_tree(tree)
     return parse_tag(tree, parent)