def fetch(self, keyDict):
        with self.lock:
            for key in keyDict.keys():
                keyDict[key] = self.tbl[key]
Retrieve the text content of an XML tag, or None if the element itself is None
dataset/ETHPy150Open ejeschke/ginga/ginga/misc/Bunch.py/threadSafeBunch.fetch--crossover with--dataset/ETHPy150Open sosy-lab/benchexec/benchexec/util.py/text_or_none