diff options
author | Erich Eckner <git@eckner.net> | 2017-05-17 14:51:38 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2017-05-17 14:51:38 +0200 |
commit | cd2540e6a7bcae913be1034d93c7dd2b9a9a704a (patch) | |
tree | c6ac39f2e67495ecaf325e381d98d77ec208d0b6 /bin/return-assignment | |
parent | b5e64080699536e7802e1b3dd105032386573f63 (diff) | |
download | builder-cd2540e6a7bcae913be1034d93c7dd2b9a9a704a.tar.xz |
use a single lock file for the build list
Diffstat (limited to 'bin/return-assignment')
-rwxr-xr-x | bin/return-assignment | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/bin/return-assignment b/bin/return-assignment index b8d1bb4..951eb8c 100755 --- a/bin/return-assignment +++ b/bin/return-assignment @@ -22,14 +22,16 @@ # Create a lock file and a trap. -exec 9> "${lock_file}" +exec 9> "${build_list_lock_file}" if ! flock -n 9; then - >&2 echo 'come back (shortly) later - I was running already' + >&2 echo 'come back (shortly) later - I cannot lock build list.' + exit +fi exit 1 fi function clean_up { - rm -f "${lock_file}" + rm -f "${build_list_lock_file}" } trap clean_up EXIT |