From b3818c47a4561989cea9b4cbe61d61c27cab459f Mon Sep 17 00:00:00 2001 From: Luke Shumaker Date: Thu, 11 May 2017 22:34:46 -0400 Subject: xml_helper: tidy --- tools/xml_helper.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/tools/xml_helper.py b/tools/xml_helper.py index 07353847ba..eb07121d59 100644 --- a/tools/xml_helper.py +++ b/tools/xml_helper.py @@ -22,6 +22,8 @@ import os.path class CustomResolver(tree.Resolver): def resolve(self, url, id, context): + if ':' in url: + return None if not os.path.exists(url): srcdir = os.path.dirname(os.path.dirname(os.path.abspath(__file__))) basename = os.path.basename(url) -- cgit v1.2.3