view service/arduinoNode/rdflib_patch.py @ 1413:14802ffc9e44

clean up reasoning page Ignore-this: e365f3e50b7610c8e694b8641acdae2 darcs-hash:b483f397e3dbfcd574cf8a4a6a450f2893c303fd
author drewp <drewp@bigasterisk.com>
date Wed, 24 Jul 2019 01:02:31 -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