diff options
Diffstat (limited to 'files')
| -rw-r--r-- | files/check-puppetd.sh | 1 | ||||
| -rw-r--r-- | files/cron.d/puppetd | 3 | ||||
| -rw-r--r-- | files/cron.d/puppetmaster | 3 |
3 files changed, 7 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 diff --git a/files/cron.d/puppetd b/files/cron.d/puppetd new file mode 100644 index 0000000..5a45875 --- /dev/null +++ b/files/cron.d/puppetd @@ -0,0 +1,3 @@ +# restart puppet once in a while and randomly delay the restart between 0 and 32 minutes -> splay puppetmaster hammering +0 22 * * */2 root sleep `echo $RANDOM/1000*60 | bc` && /etc/init.d/puppet restart > /dev/null + diff --git a/files/cron.d/puppetmaster b/files/cron.d/puppetmaster new file mode 100644 index 0000000..4ea0b66 --- /dev/null +++ b/files/cron.d/puppetmaster @@ -0,0 +1,3 @@ +# we restart puppetmaster twice a day to avoid memory problems +58 11 * * * root /etc/init.d/puppetmaster restart > /dev/null + |