view service/arduinoNode/rdflib_patch.py @ 1305:965397a2648a

rm old complicated usb bus checker and resetter that caught some error modes and reset the right parts of the usb tree Ignore-this: 1003481c29f8bb01b3758bf6f6241d65 darcs-hash:78af0ceedceca9a96255b825a26003a75f6b5991
author drewp <drewp@bigasterisk.com>
date Sun, 21 Apr 2019 03:04:42 -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