blob: ef60ce808f014bee67f3b9e4d4ecccef330fcf65 (
plain) (
blame)
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
|
#!/bin/sh
DGD_CONF=%%PREFIX%%/etc/dgd-kernel/kernel.dgd
DGD_USER=mud
DGD=%%PREFIX%%/sbin/dgd
DGD_LOG=%%DATADIR%%/kernel.log
DGD_PID=/var/run/dgd-kernel.pid
case "$1" in
start)
if [ -x "${DGD}" ]; then
su ${DGD_USER} -c "${DGD} ${DGD_CONF}" >> "${DGD_LOG}" 2>&1 &
echo $(($!+2)) > "${DGD_PID}"
echo -n ' dgd-kernel'
fi
;;
stop)
kill -TERM `cat "${DGD_PID}"` && rm -f "${DGD_PID}"
;;
*)
echo ""
echo "Usage: `basename $0` { start | stop }"
echo ""
exit 64
;;
esac
|