From fef3375fcfc10d047f7b54416ee19062f78ae07b Mon Sep 17 00:00:00 2001 From: Lynn Lin Date: Sat, 14 Feb 2009 18:35:07 -0800 Subject: Signed-off-by: Khem Raj mini-httpd: New recipe. --- packages/mini-httpd/files/init | 70 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 70 insertions(+) create mode 100644 packages/mini-httpd/files/init (limited to 'packages/mini-httpd/files/init') diff --git a/packages/mini-httpd/files/init b/packages/mini-httpd/files/init new file mode 100644 index 0000000000..5e9b176eb9 --- /dev/null +++ b/packages/mini-httpd/files/init @@ -0,0 +1,70 @@ +#! /bin/sh + +# Globals +PATH=/usr/local/sbin:/usr/local/bin:/sbin:/bin:/usr/sbin:/usr/bin +DAEMON=/usr/sbin/mini_httpd +NAME=mini-httpd +DESC="web server" +# Additional options that are passed to the Daemon. +DAEMON_OPTS="-C /etc/mini-httpd.conf" + +test -x $DAEMON || exit 0 + +# Include mini-httpd defaults if available +if [ -f /etc/default/mini-httpd ] +then + . /etc/default/mini-httpd +fi + +set -e + +case "$1" in + start) + echo -n "Starting $DESC: " + start-stop-daemon --start --quiet --pidfile /var/run/$NAME.pid \ + --exec $DAEMON -- $DAEMON_OPTS + echo "$NAME." + ;; + + stop) + echo -n "Stopping $DESC: " + # Get pid number + if [ -e /var/run/$NAME.pid ] + then + PID=`cat /var/run/$NAME.pid` + if [ -d /proc/$PID ] + then + start-stop-daemon --stop --quiet --pidfile /var/run/$NAME.pid + else + # we need to remove the pidfile manually + if [ -e /var/run/$NAME.pid ] + then + rm -f /var/run/$NAME.pid + fi + fi + fi + echo "$NAME." + ;; + + restart|force-reload) + echo -n "Restarting $DESC: " + if [ "$START" = "0" ] + then + start-stop-daemon --start --quiet --pidfile /var/run/$NAME.pid \ + --exec $DAEMON -- $DAEMON_OPTS + fi + sleep 1 + start-stop-daemon --start --quiet --pidfile \ + /var/run/$NAME.pid --exec $DAEMON -- $DAEMON_OPTS + echo "$NAME." + ;; + + *) + N=/etc/init.d/$NAME + echo "Usage: $N {start|stop|restart|force-reload}" >&2 + exit 1 + ;; +esac + +exit 0 + -- cgit v1.2.3