view service/arduinoNode/rdflib_patch.py @ 1259:672a3d830e7f

arduinoNode: build updates, stats support, etc Ignore-this: 39386eb7644e3cf522e0f72a874eadba darcs-hash:b6fa9fbda226917dd3b94d8a87556c4cd6d51180
author drewp <drewp@bigasterisk.com>
date Sat, 20 Apr 2019 23:28:29 -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