3 DESC="Push service daemon"
6 SCRIPTNAME=/etc/init.d/$NAME
8 [ -x "$DAEMON" ] || exit 0
12 [ -z "$PID" ] || return 1
20 if [ -n "$PID" ]; then
45 echo "Starting $DESC" "$NAME"
50 echo "Stopping $DESC" "$NAME"
55 echo "Usage: $SCRIPTNAME {start|stop}" >&2