Make "wakeup delay" configurable: WAKE_DELAY
authorAlexander Barton <alex@barton.de>
Sat, 29 Nov 2014 15:30:04 +0000 (16:30 +0100)
committerAlexander Barton <alex@barton.de>
Sat, 29 Nov 2014 15:30:04 +0000 (16:30 +0100)
scripts/trigger-rcmd

index b0c1aa9..c8f92ba 100755 (executable)
@@ -26,6 +26,7 @@ do_rcmd() {
        CMD="uptime"
        TIMEOUT="180"
        SSH_CHECKS="6"
+       WAKE_DELAY="10s"
 
        . "$cnf"
 
@@ -61,7 +62,7 @@ do_rcmd() {
                        echo "$NAME: failed to wake \"$SYSTEM\"!" >&2
                        return 4
                fi
-               sleep 3
+               sleep "$WAKE_DELAY"
                rsys_was_running=0
        else
                echo "$NAME: \"$SYSTEM\" is already alive, ok."