diff options
author | Luke Shumaker <lukeshu@lukeshu.com> | 2017-05-11 22:34:46 -0400 |
---|---|---|
committer | Luke Shumaker <lukeshu@lukeshu.com> | 2017-05-11 22:38:47 -0400 |
commit | b3818c47a4561989cea9b4cbe61d61c27cab459f (patch) | |
tree | 885c1bbadec9149178e7c05e451238de5924e595 /tools/xml_helper.py | |
parent | 5765a39fb6d1b239492474a214e248e82f9a5fb4 (diff) |
xml_helper: tidy
Diffstat (limited to 'tools/xml_helper.py')
-rw-r--r-- | tools/xml_helper.py | 2 |
1 files changed, 2 insertions, 0 deletions
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) |