Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
Charles Burton
Gaudi
Commits
bddb7417
Commit
bddb7417
authored
Oct 16, 2015
by
Marco Clemencic
Browse files
GAUDI-1113: readded 'import locker' (where needed) to merge_files.py
parent
bf01805b
Changes
1
Hide whitespace changes
Inline
Side-by-side
GaudiPolicy/scripts/merge_files.py
View file @
bddb7417
...
...
@@ -86,7 +86,7 @@ def mergeFiles( fragFileNames, mergedFileName, commentChar, doMerge, ignoreMissi
newFile
.
writelines
(
newLines
)
newFile
.
close
()
os
.
rename
(
mergedFileName
+
".new"
,
mergedFileName
)
finally
:
# unlock file
fcntl
.
lockf
(
lockFile
,
fcntl
.
LOCK_UN
)
...
...
@@ -183,6 +183,7 @@ if __name__ == "__main__":
logging
.
basicConfig
(
level
=
logging
.
INFO
)
if
"GAUDI_BUILD_LOCK"
in
os
.
environ
:
import
locker
globalLock
=
locker
.
LockFile
(
os
.
environ
[
"GAUDI_BUILD_LOCK"
],
temporary
=
True
)
else
:
globalLock
=
None
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment