Home
last modified time | relevance | path

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

/petsc/config/BuildSystem/
H A DRDict.py95 self.addrFilename = 'RDict.loc'
354 filename = os.path.join(dir, self.addrFilename)
370 f = open(self.addrFilename, 'w')
373 self.writeLogLine('SERVER: Wrote lock file '+os.path.abspath(self.addrFilename))
376 def startServer(self, addrFilename): argument
383 self.writeLogLine('CLIENT: Spawning a new server with lock file '+os.path.abspath(addrFilename))
384 if os.path.exists(addrFilename):
385 os.remove(addrFilename)
391 os.chdir(os.path.dirname(addrFilename))
417 if os.path.exists(addrFilename): return
[all …]