log -n " Waiting for '$srv' to get on-line:"
while_with_timeout $timeout "not" "ping -c1 -w1 $srv" "echo -n ." || {
- log " ERROR: Server did not come back after 100 seconds."
+ log " ERROR: Server did not come back after '$timeout' seconds."
return 1
}
echo
log -n " Waiting for '$srv' to start its SSH service:"
while_with_timeout $timeout "not" "rexec $srv true" "echo -n ." || {
- log " ERROR: Server did not start ssh after 100 seconds."
+ log " ERROR: Server did not start ssh after '$timeout' seconds."
return 1
}
echo
log -n " Waiting for '$srv' to shut down:"
while_with_timeout $timeout "ping -c1 -w1 $srv" "echo -n ." || {
- log " ERROR: Server did not shut down after 100 seconds."
+ log " ERROR: Server did not shut down after '$timeout' seconds."
return 1
}
echo