~azzar1/unity/add-show-desktop-key

1164.2.19 by William Grant
Add an example init script, vastly shorter than the old one.
1
#! /bin/sh
2
3
# Works for Ubuntu. Check before using on other distributions
4
5
### BEGIN INIT INFO
6
# Provides:          usrmgt-server
7
# Required-Start:    $syslog $networking $urandom
8
# Required-Stop:     $syslog
9
# Default-Start:     2 3 4 5
10
# Default-Stop:      1
11
# Short-Description: IVLE user management server
12
# Description:       Daemon connecting to the IVLE user management database.
13
### END INIT INFO
14
15
PATH=/sbin:/bin:/usr/sbin:/usr/bin
16
DESC="IVLE user management server"
17
NAME=usrmgt-server
18
DAEMON=/usr/local/share/ivle/services/$NAME
19
SCRIPTNAME=/etc/init.d/usrmgt-server
20
21
test -f $DAEMON || exit 0
22
23
. /lib/lsb/init-functions
24
25
case "$1" in
26
  start)
27
        log_daemon_msg "Starting $DESC" "$NAME"
28
        start_daemon $DAEMON
29
        log_end_msg $?
30
    ;;
31
  stop)
32
        log_daemon_msg "Stopping $DESC" "$NAME"
33
        killproc $DAEMON
34
        log_end_msg $?
35
    ;;
36
  force-reload|restart)
37
    $0 stop
38
    $0 start
39
    ;;
40
  status)
41
    status_of_proc $DAEMON usrmgt-server && exit 0 || exit $?
42
    ;;
43
  *)
44
    echo "Usage: $SCRIPTNAME {start|stop|restart|force-reload|status}"
45
    exit 1
46
    ;;
47
esac
48
49
exit 0