From d87a048262d16964b3bb3908cf8af42c0bd73a80 Mon Sep 17 00:00:00 2001
From: Dmitri Naumov <dmitri.naumov@ufz.de>
Date: Tue, 22 Nov 2016 15:12:17 +0100
Subject: [PATCH] When XML parse error occures, print good message.
---
scripts/doc/linked-xml-file.py | 7 ++++++-
1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/scripts/doc/linked-xml-file.py b/scripts/doc/linked-xml-file.py
index e5d00b97891..f598fff0aa5 100755
--- a/scripts/doc/linked-xml-file.py
+++ b/scripts/doc/linked-xml-file.py
@@ -216,7 +216,12 @@ for (dirpath, dirnames, filenames) in os.walk(datadir, topdown=False):
<tt>
""" % (pagename, fn))
- xmlroot = ET.parse(filepath).getroot()
+ try:
+ xmlroot = ET.parse(filepath).getroot()
+ except ET.ParseError as err:
+ print("ParseError occured in file :", filepath)
+ print(err)
+ raise
print_tags(xmlroot, 0, "prj", fh, None, 0, relfilepath)
fh.write(r"""</tt>
--
GitLab