diff options
| author | Silvio Rhatto <rhatto@riseup.net> | 2011-02-19 19:14:12 -0200 |
|---|---|---|
| committer | Silvio Rhatto <rhatto@riseup.net> | 2011-02-19 19:14:12 -0200 |
| commit | 51865fd8bfacc87e1ab85d560eb4f182a5d9113c (patch) | |
| tree | f05f5ca584fd8bdbd18309d095c2bca3be81e050 /files/check-puppetd.sh | |
| parent | 1ce6003bf9710c1b75885a65b48fe8d638398e87 (diff) | |
| download | puppet-puppet-51865fd8bfacc87e1ab85d560eb4f182a5d9113c.tar.gz puppet-puppet-51865fd8bfacc87e1ab85d560eb4f182a5d9113c.tar.bz2 | |
Enhancing check-puppetd.sh
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 |