diff options
| -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) |