Skip to content
Snippets Groups Projects
Commit e614af56 authored by Marco Clemencic's avatar Marco Clemencic
Browse files

fixed GAUDI-1113: name 'locker' is not defined in merge_files.py

Re-added 'import locker' (where needed) to merge_files.py (removed by commit 13de2d61).

See merge request !54
parents bf01805b bddb7417
No related branches found
No related tags found
No related merge requests found
...@@ -86,7 +86,7 @@ def mergeFiles( fragFileNames, mergedFileName, commentChar, doMerge, ignoreMissi ...@@ -86,7 +86,7 @@ def mergeFiles( fragFileNames, mergedFileName, commentChar, doMerge, ignoreMissi
newFile.writelines(newLines) newFile.writelines(newLines)
newFile.close() newFile.close()
os.rename(mergedFileName + ".new",mergedFileName) os.rename(mergedFileName + ".new",mergedFileName)
finally: finally:
# unlock file # unlock file
fcntl.lockf( lockFile, fcntl.LOCK_UN ) fcntl.lockf( lockFile, fcntl.LOCK_UN )
...@@ -183,6 +183,7 @@ if __name__ == "__main__": ...@@ -183,6 +183,7 @@ if __name__ == "__main__":
logging.basicConfig(level = logging.INFO) logging.basicConfig(level = logging.INFO)
if "GAUDI_BUILD_LOCK" in os.environ: if "GAUDI_BUILD_LOCK" in os.environ:
import locker
globalLock = locker.LockFile(os.environ["GAUDI_BUILD_LOCK"], temporary = True) globalLock = locker.LockFile(os.environ["GAUDI_BUILD_LOCK"], temporary = True)
else: else:
globalLock = None globalLock = None
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment