Mercurial > code > home > repos > homeauto
view service/piNode/rdflib_pi_opt.py @ 710:94610b5263e4
add browser_test server for playing with /graph resource
Ignore-this: 6112c234b93e0fb99ffe918a022e5a49
author | drewp@bigasterisk.com |
---|---|
date | Mon, 03 Feb 2020 23:45:15 -0800 |
parents | 23ab244aa649 |
children |
line wrap: on
line source
import rdflib.plugins.memory def patchRandid(): """ I'm concerned urandom is slow on raspberry pi, and I'm adding to graphs a lot. Unclear what the ordered return values might do to the balancing of the graph. """ _id_serial = [1000] def randid(): _id_serial[0] += 1 return _id_serial[0] rdflib.plugins.memory.randid = randid