DAEMON=/projects/helm/daemons/proofChecker/proofChecker.opt
USAGE="Usage: /etc/init.d/helm-proof-checker { start | stop | restart }"
-ENVSCRIPT=""
if [ -f /etc/default/helm_mowgli ]; then
. /etc/default/helm_mowgli
fi
-if ! [ -f "$ENVSCRIPT" ]; then
- echo "Can't find environment script '$ENVSCRIPT'"
- exit 1
-fi
-. $ENVSCRIPT &> /dev/null
NAME=`basename $DAEMON`
PIDFILE=/var/run/"$NAME"_mowgli.pid