1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
|
#! /bin/sh
#
# Init script written by Samuel Mimram <smimram@debian.org>.
#
### BEGIN INIT INFO
# Provides: ocsigenserver
# Required-Start: $syslog $network $remote_fs
# Required-Stop: $syslog $network $remote_fs
# Should-Start: $local_fs
# Should-Stop: $local_fs
# Default-Start: 2 3 4 5
# Default-Stop: 0 1 6
# Short-Description: ocsigen web server.
# Description: ocsigen web server.
### END INIT INFO
PATH=/usr/local/sbin:/usr/local/bin:/sbin:/bin:/usr/sbin:/usr/bin
DAEMON=/usr/bin/ocsigenserver
NAME=ocsigenserver
DESC=ocsigenserver
PIDFILE=/var/run/$NAME.pid
DEFAULTFILE=/etc/default/ocsigenserver
test -x $DAEMON || exit 0
# Include ocsigenserver defaults if available
if [ -f $DEFAULTFILE ] ; then
. $DEFAULTFILE
fi
set -e
case "$1" in
start|force-start)
if [ "x$LAUNCH_AT_STARTUP" != "xtrue" ] && [ "x$1" = "xstart" ]; then
echo "$DEFAULTFILE prevents $NAME to be started (use force-start)."
exit 0
fi
if [ -r "$PIDFILE" ] && read pid < "$PIDFILE" && ps -p "$pid" > /dev/null 2>&1; then
echo "$NAME is already running!"
exit 0
fi
echo -n "Starting $DESC: "
$DAEMON --daemon --pidfile $PIDFILE $DAEMON_OPTS
echo "$NAME."
;;
stop)
echo -n "Stopping $DESC: "
for pid in `cat $PIDFILE`; do kill $pid || true; done
rm -f $PIDFILE
echo "$NAME."
;;
reload)
echo -n "Reloading $DESC: "
echo reload > /var/run/ocsigenserver_command
echo "$NAME."
;;
restart|force-reload)
$0 stop
$0 start
;;
status)
echo -n "Status of $DESC: "
if [ ! -r "$PIDFILE" ]; then
echo "$NAME is not running."
exit 3
fi
if read pid < "$PIDFILE" && ps -p "$pid" > /dev/null 2>&1; then
echo "$NAME is running."
exit 0
else
echo "$NAME is not running but $PIDFILE exists."
exit 1
fi
;;
*)
N=/etc/init.d/$NAME
echo "Usage: $N {start|stop|restart|reload|force-reload|force-start|status}" >&2
exit 1
;;
esac
exit 0
|
