Mercurial > code > home > repos > homeauto
view service/arduinoNode/rdflib_patch.py @ 1615:bcfa368e5498
change a Graph.__sub__ to Set.difference in verify() for a big speedup
author | drewp@bigasterisk.com |
---|---|
date | Mon, 06 Sep 2021 23:20:23 -0700 |
parents | d228105749ac |
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