view service/arduinoNode/rdflib_patch.py @ 1424:458355ee1b99

arduinonode: per-device-type timing stats Ignore-this: de560ed6044cef5dacbf5d9b6334df99 darcs-hash:c0164f22d20b5673d1f42ffa4462ef4ed87b608d
author drewp <drewp@bigasterisk.com>
date Wed, 07 Aug 2019 20:55:00 -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