diff options
| author | Silvio Rhatto <rhatto@riseup.net> | 2011-02-19 19:09:19 -0200 |
|---|---|---|
| committer | Silvio Rhatto <rhatto@riseup.net> | 2011-02-19 19:09:19 -0200 |
| commit | 1ce6003bf9710c1b75885a65b48fe8d638398e87 (patch) | |
| tree | 63f9ba0b8eb868113417e63d8534dc398986e2ff /files/check-puppetd.sh | |
| parent | af8c7b29e276d6b721fc5f51957f6d1f49408262 (diff) | |
| download | puppet-puppet-1ce6003bf9710c1b75885a65b48fe8d638398e87.tar.gz puppet-puppet-1ce6003bf9710c1b75885a65b48fe8d638398e87.tar.bz2 | |
Restart puppet and puppetmaster from time to time
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 |