diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2012-08-20 15:41:45 +0200 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2012-08-20 15:41:45 +0200 |
| commit | f9c4beddd50d7fd38f6adfb339df6f26538715f5 (patch) | |
| tree | 876052eee86fa4b1fdf14020d6e8c3af785d560d /debian/internet-kiosk.init | |
| download | internet-kiosk-f9c4beddd50d7fd38f6adfb339df6f26538715f5.tar.gz internet-kiosk-f9c4beddd50d7fd38f6adfb339df6f26538715f5.tar.bz2 internet-kiosk-f9c4beddd50d7fd38f6adfb339df6f26538715f5.zip | |
initial commit, adapted from x2gothinclient 1.0.1.8
Diffstat (limited to 'debian/internet-kiosk.init')
| -rw-r--r-- | debian/internet-kiosk.init | 96 |
1 files changed, 96 insertions, 0 deletions
diff --git a/debian/internet-kiosk.init b/debian/internet-kiosk.init new file mode 100644 index 0000000..8aaf6ec --- /dev/null +++ b/debian/internet-kiosk.init @@ -0,0 +1,96 @@ +#! /bin/sh + +# Copyright (C) 2010-2012 by Debian Edu project, http://wiki.debian.org/DebianEdu +# Mike Gabriel <mike.gabriel@das-netzwerkteam.de> + +# Internet Kiosk is free software; you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation; either version 2 of the License, or +# (at your option) any later version. +# +# Internet Kiosk is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the +# Free Software Foundation, Inc., +# 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA. + +### BEGIN INIT INFO +# Provides: internet-kiosk-daemon +# Required-Start: $remote_fs $syslog +# Required-Stop: $remote_fs $syslog +# Default-Start: 2 3 4 5 +# Default-Stop: 0 1 6 +# Short-Description: Start and stop the Internet Kiosk daemon +### END INIT INFO + +PATH=/usr/local/sbin:/usr/local/bin:/sbin:/bin:/usr/sbin:/usr/bin +export HOSTNAME +DAEMON=/usr/sbin/internet-kiosk-daemon +NAME=internet-kiosk-daemon +DESC="Internet Kiosk Daemon" + +test -x $DAEMON || exit 0 +if [ ! -x /etc/internet-kiosk/ik_init ] || [ ! -x /etc/internet-kiosk/ik_start ]; then + echo "The Internet Kiosk system will not start as it is not configured, yet." + exit 0 +fi + +# pre-init Internet Kiosk Diskless Terminal through init script... +test -x /etc/internet-kiosk/ik_init && . /etc/internet-kiosk/ik_init + +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: " + start-stop-daemon --stop --quiet --pidfile /var/run/$NAME.pid && echo "$NAME." || echo "not running" + ;; + #reload) + # + # If the daemon can reload its config files on the fly + # for example by sending it SIGHUP, do it here. + # + # If the daemon responds to changes in its config file + # directly anyway, make this a do-nothing entry. + # + # echo "Reloading $DESC configuration files." + # start-stop-daemon --stop --signal 1 --quiet --pidfile \ + # /var/run/$NAME.pid --exec $DAEMON + #;; + force-reload) + # + # If the "reload" option is implemented, move the "force-reload" + # option to the "reload" entry above. If not, "force-reload" is + # just the same as "restart" except that it does nothing if the + # daemon isn't already running. + # check wether $DAEMON is running. If so, restart + start-stop-daemon --stop --test --quiet --pidfile \ + /var/run/$NAME.pid \ + && $0 restart \ + || exit 0 + ;; + restart) + echo -n "Restarting $DESC: " + $0 stop + sleep 1 + $0 start + ;; + *) + N=/etc/init.d/$NAME + # echo "Usage: $N {start|stop|restart|reload|force-reload}" >&2 + echo "Usage: $N {start|stop|restart|force-reload}" >&2 + exit 1 + ;; +esac + +exit 0 |
