Make "wakeup delay" configurable: WAKE_DELAY

diff --git a/scripts/trigger-rcmd b/scripts/trigger-rcmd
index b0c1aa9b2d3e4d2ea4dd299e61bbd8fd068d88bd..c8f92ba68fc987a456a0f2bb9892d251222cade9 100755 (executable)
--- a/scripts/trigger-rcmd
+++ b/scripts/trigger-rcmd
@@ -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."