Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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