#!/bin/sh -e
#
# resmgr init script for Debian
# Julien BLACHE <jblache@debian.org>
#

CONFFILE=/etc/resmgr.conf
PIDFILE=/var/run/resmgr.pid
RESMGRD=/sbin/resmgrd

[ -e "$RESMGRD" -a -x "$RESMGRD" ] || exit 0

case "$1" in
    start)
	echo -n "Starting resource manager daemon: "
	if [ ! -e "$CONFFILE" -o -z "$CONFFILE" ]; then
	    echo "not configured."
	    echo "   See /usr/share/doc/resmgr/README.Debian for instructions."
	else
	    start-stop-daemon --start --quiet --pidfile /var/run/resmgr.pid --exec "$RESMGRD"
	    echo "done."
	fi
	;;
    stop)
	echo -n "Stopping resource manager daemon: "
	start-stop-daemon --stop --quiet --oknodo --pidfile /var/run/resmgr.pid
	echo "done."
	;;
    reload)
	echo -n "Reloading resource manager daemon: "
	if [ -e "$PIDFILE" ]; then
	    kill -HUP $(cat "$PIDFILE")
	    echo "done."
	else
	    echo "resmgr not running!"
	fi
	;;
    restart|force-reload)
	$0 stop && $0 start
	;;
    *)
	echo "Usage: /etc/init.d/resmgr {start|stop|restart|force-reload}" >&2
	exit 1
	;;
esac

exit 0