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 | |
| parent | 5765a39fb6d1b239492474a214e248e82f9a5fb4 (diff) | |
xml_helper: tidy
| -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) |