Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/bin/ping-to-master
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2018-03-27 14:46:16 +0200
committerErich Eckner <git@eckner.net>2018-03-27 14:46:16 +0200
commita22ca382ed313b6308674509bb3099b1fa700596 (patch)
tree3bde8bdb069639147a0c34b15dc4e77ddfa25a26 /bin/ping-to-master
parent181654d44ff2db96eac470c9de4b1f6f6125660c (diff)
bin/ping-to-master: failing ssh is not a reason to abort
Diffstat (limited to 'bin/ping-to-master')
-rwxr-xr-xbin/ping-to-master3
1 files changed, 2 insertions, 1 deletions
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