view service/arduinoNode/rdflib_patch.py @ 1513:c829df2b0dd5

new graph output for browsers, with autorefresh Ignore-this: e4ff4dbed311b238d90988a1891ef640 darcs-hash:ba19d0d8975104ec6a3580e50cf8b7ca7745abdc
author drewp <drewp@bigasterisk.com>
date Mon, 03 Feb 2020 23:47:23 -0800
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