diff -r 098af5defd01 -r 6f5ef6fb479d rc.master_watcher --- a/rc.master_watcher Mon Jan 27 15:42:03 2003 +0000 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,33 +0,0 @@ -#! /bin/bash - -DAEMON=/usr/local/sbin/master_watcher -PIDFILE=/var/run/master_watcher.pid - -test -x $MASTER_WATCHER || exit 0 - -case $1 in - - start) - echo -n "Starting $DAEMON..." - start-stop-daemon --start --pid $PIDFILE --exec $DAEMON -- -f - echo " OK"; - ;; - - stop) - echo -n "Stopping $DAEMON..." - start-stop-daemon --stop --pid $PIDFILE - echo " OK"; - ;; - - restart) echo -n "Restarting $DAEMON..." - $0 stop - $0 start - ;; - - *) - echo "Usage: /etc/init.d/$DAEMON {start|stop|restart}" >&2 - exit 1 - ;; -esac - -exit 0