[patch] Patch to add reload() function to /etc/init.d/puppet

puppet.init-r1.patch (text/plain), 329 bytes, created by Dustin C. Hatch on 2013-04-17 20:53:22 UTC

--- a/etc/init.d/puppet	2013-03-19 14:31:01.000000000 -0500
+++ b/etc/init.d/puppet	2013-04-17 15:43:16.587548709 -0500
@@ -22,3 +22,7 @@
 	checkpath --directory --owner puppet:puppet "${PUPPET_PID_DIR}"
 	checkpath --directory --owner puppet:puppet --mode 750 ${PUPPET_LOG_DIR}
 }
+
+reload() {
+	kill -USR1 `cat ${pidfile}`
+}