diff options
| author | Erich Eckner <git@eckner.net> | 2018-06-06 12:34:23 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-06-06 12:34:23 +0200 |
| commit | 29383e4b6113f66a67f79901125dc8a2a5cff482 (patch) | |
| tree | f4addc5c2053399f6a2e4c0bf31f1888deacce3a | |
| parent | 1c77a4e6f730965f1887fadb79cab076dbb7b64e (diff) | |
| download | builder-29383e4b6113f66a67f79901125dc8a2a5cff482.tar.xz | |
bin/ping-from-slave: "failure" is also a valid reason for not having a build_assignment (according to the database) currently
| -rwxr-xr-x | bin/ping-from-slave | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/bin/ping-from-slave b/bin/ping-from-slave index a12129f..26fd8c9 100755 --- a/bin/ping-from-slave +++ b/bin/ping-from-slave @@ -30,8 +30,10 @@ if [ -z "${status}" ]; then fi if [ "${status% *}" != '1' ]; then - # during upload, the job might already have been deleted from the database - if [ 'uploading' != "$1" ]; then + # during upload and report of failure, the job might already have been + # deleted from the database + if [ 'uploading' != "$1" ] && \ + [ 'failure' != "$1" ]; then >&2 echo 'You do not build anything currently - abort whatever you are doing.' if [ "${status#* }" = '1' ]; then # shellcheck disable=SC2016 |