summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xbin/ping-from-slave6
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