Home
last modified time | relevance | path

Searched refs:parentDirectory (Results 1 – 3 of 3) sorted by relevance

/petsc/config/BuildSystem/
H A DRDict.py83 …def __init__(self, parentAddr = None, parentDirectory = None, load = 1, autoShutdown = 1, readonly… argument
99 self.parentDirectory = parentDirectory
102 self.connectParent(self.parentAddr, self.parentDirectory)
124 self.connectParent(self.parentAddr, self.parentDirectory)
514 self.connectParent(self.parentAddr, self.parentDirectory)
564 rdict = RDict(parentDirectory = '.')
620 if not self.parentDirectory is None and os.path.samefile(os.getcwd(), self.parentDirectory):
708 RDict(parentDirectory = parent).serve()
711 rdict = RDict(parentDirectory = parent)
717 rdict = RDict(parentDirectory = parent)
[all …]
H A Dpythonpath.py15 …argsDB = RDict.RDict(parentDirectory = os.path.abspath(os.path.dirname(sys.modules['RDict'].__fi…
/petsc/config/BuildSystem/config/
H A Dframework.py760 …ork', 'RDict update', 'Substitutions were stored in RDict with parent '+str(argDB.parentDirectory))