diff options
Diffstat (limited to 'files/check-puppetd.sh')
| -rw-r--r-- | files/check-puppetd.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/files/check-puppetd.sh b/files/check-puppetd.sh index c886ea3..10d6bc1 100644 --- a/files/check-puppetd.sh +++ b/files/check-puppetd.sh @@ -11,6 +11,7 @@ if [ ! -f "$PID" ]; then else running="$(ps $(cat $PID) &> /dev/null)" if [ "$?" != "0" ]; then + sleep `echo $RANDOM/2000*60 | bc` $INIT start fi fi |