]> matita.cs.unibo.it Git - helm.git/blob - helm/scripts/init.d/helm-uwobo-stylesheets
1. syntax error fixed
[helm.git] / helm / scripts / init.d / helm-uwobo-stylesheets
1 #!/bin/sh
2 #
3 # init.d script for HELM daemons
4 #
5 # by --Zack <zack@cs.unibo.it>
6 # Created: Wed,  9 Oct 2002 14:26:27 +0200
7 # Last-Modified: Wed,  9 Oct 2002 14:26:27 +0200
8
9 UWOBO_INIT_SCRIPT=""
10 if [ -f /etc/default/helm ]; then
11   . /etc/default/helm
12 fi
13 test -x "$UWOBO_INIT_SCRIPT" || exit 0
14
15 case "$1" in
16
17   start)
18     echo -n "Loading UWOBO stylesheets (mowgli) ... "
19     $UWOBO_INIT_SCRIPT $UWOBO_PANEL_CONF > /dev/null
20     echo "done!"
21     echo -n "Loading UWOBO stylesheets (mowgli NuPRL) ... "
22     $UWOBO_INIT_SCRIPT $NUPRL_UWOBO_PANEL_CONF > /dev/null
23     echo "done!"
24     ;;
25
26   stop)
27     $UWOBO_INIT_SCRIPT --unload $UWOBO_PANEL_CONF > /dev/null
28     $UWOBO_INIT_SCRIPT --unload $NUPRL_UWOBO_PANEL_CONF > /dev/null
29     ;;
30
31   reload)
32     $UWOBO_INIT_SCRIPT --reload $UWOBO_PANEL_CONF > /dev/null
33     $UWOBO_INIT_SCRIPT --reload $NUPRL_UWOBO_PANEL_CONF > /dev/null
34     ;;
35
36   restart)
37     $UWOBO_INIT_SCRIPT --unload $UWOBO_PANEL_CONF > /dev/null
38     $UWOBO_INIT_SCRIPT --unload $NUPRL_UWOBO_PANEL_CONF > /dev/null
39     $UWOBO_INIT_SCRIPT $UWOBO_PANEL_CONF > /dev/null
40     $UWOBO_INIT_SCRIPT $NUPRL_UWOBO_PANEL_CONF > /dev/null
41     ;;
42
43   *)
44     echo
45     echo "Usage: /etc/init.d/helm-uwobo-stylesheets { start | stop | restart | reload }" >&2
46     echo
47     exit 1
48     ;;
49
50 esac
51