[gnome-builder] jedi: silence xml parser warning
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] jedi: silence xml parser warning
- Date: Sat, 1 Jul 2017 04:21:43 +0000 (UTC)
commit 294920f6b932992e9da8864ca96ae35fe2402406
Author: Christian Hergert <chergert redhat com>
Date: Fri Jun 30 21:19:41 2017 -0700
jedi: silence xml parser warning
https://bugzilla.gnome.org/show_bug.cgi?id=784327
plugins/jedi/jedi_plugin.py | 6 +++++-
1 files changed, 5 insertions(+), 1 deletions(-)
---
diff --git a/plugins/jedi/jedi_plugin.py b/plugins/jedi/jedi_plugin.py
index 7be46f2..d257680 100644
--- a/plugins/jedi/jedi_plugin.py
+++ b/plugins/jedi/jedi_plugin.py
@@ -298,7 +298,11 @@ class DocumentationDB(object):
cursor.execute('UPDATE girfiles SET last_modified=? WHERE file=?', (mtime, filename))
parser = lxml.etree.XMLParser(recover=True)
tree = lxml.etree.parse(filename, parser=parser)
- namespace = tree.find('core:namespace', namespaces=ns)
+ try:
+ namespace = tree.find('core:namespace', namespaces=ns)
+ except:
+ print("Failed to parse", filename)
+ continue
library_version = namespace.attrib['version']
for node in namespace.findall('core:class', namespaces=ns):
doc = node.find('core:doc', namespaces=ns)
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]