diff options
-rwxr-xr-x | backup.in | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -188,13 +188,15 @@ fi echo $$ > "${pidFile}" if [ -n "${HoppIP}" ]; then - if ! ping -c1 -${ipVer} "$(extract_ssh_host "${HoppIP}")" >/dev/null; then + if ! ping -c 1 -W 20 -${ipVer} "$(extract_ssh_host "${HoppIP}")" >/dev/null; then rm "${pidFile}" + >&2 echo "cannot ping -c 1 -W 20 -${ipVer} $(extract_ssh_host "${HoppIP}")" exit 11 fi elif [ -n "${QuellIP}" ]; then - if ! ping -c1 -${ipVer} "$(extract_ssh_host "${QuellIP}")" >/dev/null; then + if ! ping -c 1 -W 20 -${ipVer} "$(extract_ssh_host "${QuellIP}")" >/dev/null; then rm "${pidFile}" + >&2 echo "cannot ping -c 1 -W 20 -${ipVer} $(extract_ssh_host "${QuellIP}")" exit 11 fi fi |