view service/arduinoNode/rdflib_patch.py @ 1426:c3c2418d138c

fix pushconfig host lookup Ignore-this: d53a114fdfb3bd3bf355a0c7293a1c7b darcs-hash:6306237a7df35fffb57f27c31a971107608f979e
author drewp <drewp@bigasterisk.com>
date Wed, 07 Aug 2019 21:06:46 -0700
parents f707210c13bd
children
line wrap: on
line source


def fixQnameOfUriWithTrailingSlash():
    import rdflib.namespace
    old_split = rdflib.namespace.split_uri
    def new_split(uri):
        try:
            return old_split(uri)
        except Exception:
            return uri, ''
    rdflib.namespace.split_uri = new_split