From a22ca382ed313b6308674509bb3099b1fa700596 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Tue, 27 Mar 2018 14:46:16 +0200
Subject: bin/ping-to-master: failing ssh is not a reason to abort

---
 bin/ping-to-master | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'bin/ping-to-master')

diff --git a/bin/ping-to-master b/bin/ping-to-master
index 7a9b4cf..6da0749 100755
--- a/bin/ping-to-master
+++ b/bin/ping-to-master
@@ -29,7 +29,8 @@ while kill -0 "${parent_pid}" && \
       -i "${master_build_server_identity}" \
       -p "${master_build_server_port}" \
       "${master_build_server_user}@${master_build_server}" \
-      'ping-from-slave' "$(cat "${parent_tmp_dir}/.ping-build-master")"
+      'ping-from-slave' "$(cat "${parent_tmp_dir}/.ping-build-master")" || \
+      true
 
   # we wait upto 60 seconds to get the lock - if we get it, the parent
   # must have released it and we're finished
-- 
cgit v1.2.3