diff options
author | Erich Eckner <git@eckner.net> | 2018-03-27 14:46:16 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-03-27 14:46:16 +0200 |
commit | a22ca382ed313b6308674509bb3099b1fa700596 (patch) | |
tree | 3bde8bdb069639147a0c34b15dc4e77ddfa25a26 /bin/ping-to-master | |
parent | 181654d44ff2db96eac470c9de4b1f6f6125660c (diff) | |
download | builder-a22ca382ed313b6308674509bb3099b1fa700596.tar.xz |
bin/ping-to-master: failing ssh is not a reason to abort
Diffstat (limited to 'bin/ping-to-master')
-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 |