diff options
author | Erich Eckner <git@eckner.net> | 2017-10-23 09:17:57 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2017-10-23 09:17:57 +0200 |
commit | 5259e9449e479069f3b2cb4a1919b46d189ee847 (patch) | |
tree | 19cca4f034b98501d0e087b5bd258d7bdb00b22a | |
parent | 0ad4887c5db500e1118e1b6ecae1aec2a9ff3732 (diff) | |
download | builder-5259e9449e479069f3b2cb4a1919b46d189ee847.tar.xz |
bin/return-assignment: look, that the client actually got the assignment (not only that there is an assignment at all)
-rwxr-xr-x | bin/return-assignment | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/bin/return-assignment b/bin/return-assignment index ac642a5..27404df 100755 --- a/bin/return-assignment +++ b/bin/return-assignment @@ -46,6 +46,12 @@ if [ "$5" = 'ERROR' ]; then exit 0 fi + # shellcheck disable=SC2154 + if ! grep -xF "${slave}" "${work_dir}/package-states/$1.$2.$3.$4.locked"; then + # whoops, this package is built by someone else + exit 0 + fi + # save sent build logs tar -x \ -C "${build_log_directory}/error" \ |