diff options
Diffstat (limited to 'files/check-puppetd.sh')
| -rw-r--r-- | files/check-puppetd.sh | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/files/check-puppetd.sh b/files/check-puppetd.sh deleted file mode 100644 index 10d6bc1..0000000 --- a/files/check-puppetd.sh +++ /dev/null @@ -1,17 +0,0 @@ -#!/bin/bash -# -# check if puppet is running -# - -PID="/var/run/puppet/agent.pid" -INIT="/etc/init.d/puppet" - -if [ ! -f "$PID" ]; then - $INIT start -else - running="$(ps $(cat $PID) &> /dev/null)" - if [ "$?" != "0" ]; then - sleep `echo $RANDOM/2000*60 | bc` - $INIT start - fi -fi |