diff options
author | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2012-12-27 08:11:09 -0200 |
---|---|---|
committer | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2012-12-27 08:11:09 -0200 |
commit | c71421e6252a7f06a8999ef564299afdfb020fa5 (patch) | |
tree | 2f1fbe0acf1ea464298e34393858a46b9087b9b0 /social/puppet/puppetmaster | |
parent | f60aebf4cdfb03f070382141be83ff880637c040 (diff) | |
parent | ac9b0c15630b9a5c62bb8ca1d6a617acb1dc91c7 (diff) |
Merge branch 'master' of ssh://parabolagnulinux.org:1863/srv/git/abslibre
Diffstat (limited to 'social/puppet/puppetmaster')
-rwxr-xr-x | social/puppet/puppetmaster | 45 |
1 files changed, 0 insertions, 45 deletions
diff --git a/social/puppet/puppetmaster b/social/puppet/puppetmaster deleted file mode 100755 index 8b3971053..000000000 --- a/social/puppet/puppetmaster +++ /dev/null @@ -1,45 +0,0 @@ -#!/bin/bash -DAEMON=$(type -p puppetmasterd) - -. /etc/rc.conf -. /etc/rc.d/functions -[ -f /etc/conf.d/puppetmaster ] && . /etc/conf.d/puppetmaster - -PID=$(pidof -xo %PPID $DAEMON) -case "$1" in - start) - stat_busy "Starting Puppet Master Daemon" - if [ -z "$PID" ]; then - [ -f /var/run/puppetmaster.pid ] && rm -f /var/run/puppetmaster.pid - $DAEMON $PUPPETMASTER_ARGS - fi - if [ ! -z "$PID" -o $? -gt 0 ]; then - stat_fail - else - PID=$(pidof -xo %PPID $DAEMON) - echo $PID > /var/run/puppetmaster.pid - add_daemon puppetmaster - stat_done - fi - ;; - stop) - stat_busy "Stopping Puppet Master Daemon" - [ ! -z "$PID" ] && kill $PID &> /dev/null - if [ $? -gt 0 ]; then - stat_fail - else - rm_daemon puppetmaster - rm -f /var/run/puppetmaster.pid - stat_done - fi - ;; - restart) - $0 stop - if [ ! -z $PID ]; then - while ps -p $PID > /dev/null; do sleep 1; done - fi - $0 start - ;; - *) - echo "usage: $0 {start|stop|restart}" -esac |