view service/piNode/rdflib_pi_opt.py @ 642:0a39cb133ce5

remove pytz and time table Ignore-this: 313d0397eb8d059a5f91ceb50f6e105a remove mostly to separateDeviceRunners
author drewp@bigasterisk.com
date Sun, 18 Aug 2019 14:39:03 -0700
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