diff options
| author | dequis <dx@dxzone.com.ar> | 2016-12-24 13:09:43 -0300 |
|---|---|---|
| committer | dequis <dx@dxzone.com.ar> | 2016-12-25 21:18:55 -0300 |
| commit | 15a8c94f4e559bf7b9f201bd1b93e816948a5d43 (patch) | |
| tree | a52a0354886096c8cfab4f4101d1819f28d1275b /doc/user-guide/genhelp.py | |
| parent | df291a65ca8c201480eadb38633f3db70ac40294 (diff) | |
genhelp: Slightly improve error messages on xml parse error
Diffstat (limited to 'doc/user-guide/genhelp.py')
| -rw-r--r-- | doc/user-guide/genhelp.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/doc/user-guide/genhelp.py b/doc/user-guide/genhelp.py index e9a3b2bf..15fcd455 100644 --- a/doc/user-guide/genhelp.py +++ b/doc/user-guide/genhelp.py @@ -72,7 +72,11 @@ def fix_tree(tag, debug=False, lvl=''): # Main logic 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) |