From 29383e4b6113f66a67f79901125dc8a2a5cff482 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Wed, 6 Jun 2018 12:34:23 +0200
Subject: bin/ping-from-slave: "failure" is also a valid reason for not having
 a build_assignment (according to the database) currently

---
 bin/ping-from-slave | 6 ++++--
 1 file 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
-- 
cgit v1.2.3-70-g09d2