freebsd-ports/net/dgd-kernel/files/dgd-kernel.sh
2021-04-06 16:31:13 +02:00

26 lines
496 B
Bash

#!/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