else
running="$(ps $(cat $PID) &> /dev/null)"
if [ "$?" != "0" ]; then
+ sleep `echo $RANDOM/2000*60 | bc`
$INIT start
fi
fi
--- /dev/null
+# 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
+
--- /dev/null
+# we restart puppetmaster twice a day to avoid memory problems
+58 11 * * * root /etc/init.d/puppetmaster restart > /dev/null
+
require => File["/usr/local/sbin/check-puppetd.sh"],
ensure => present,
}
+
+ file { "/etc/cron.d/puppetd":
+ source => "puppet://$server/modules/puppet/cron.d/puppetd",
+ owner => root,
+ group => root,
+ mode => 0644;
+ }
}
ensure => absent,
}
+ # restart the master from time to time to avoid memory problems
+ file { "/etc/cron.d/puppetmaster":
+ source => "puppet://$server/modules/puppet/cron.d/puppetmaster",
+ owner => root,
+ group => root,
+ mode => 0644;
+ }
+
# and the script to the cron-job above
file { "/usr/local/sbin/update-puppet-conf.sh":
source => "puppet://$server/modules/puppet/update-puppet-conf.sh",