diff options
| -rwxr-xr-x | bin/ping-to-master | 3 |
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 |