view service/arduinoNode/rdflib_patch.py @ 1027:208b960fde31

hostname in page title Ignore-this: 84be0d921c173a4c2c154d6a65e15add darcs-hash:3e14370d849be2c6c0d30db8f7c575e4433bfda7
author drewp <drewp@bigasterisk.com>
date Fri, 22 Jan 2016 00:39:35 -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