#! /bin/bash
#
# mzserver	Start the MzScheme HTTP server.
#

NAME=mzserver
DAEMON=/usr/lib/plt/bin/mzscheme
PATH=/bin:/usr/bin:/sbin:/usr/sbin

PLTHOME=/usr/lib/plt
export PLTHOME

echo

case "$1" in
  start)
    echo -n "Starting web server: $NAME "
    start-stop-daemon -b -m -p /var/run/$NAME.pid --start --exec $DAEMON -- -qmvL launch.ss web-server
    ;;

  stop)
    echo -n "Stopping web server: $NAME "
    start-stop-daemon -p /var/run/$NAME.pid --stop --oknodo --exec $DAEMON
    ;;
  *)
    echo "Usage: /etc/init.d/$NAME {start|stop}"
    exit 1
    ;;
esac

if [ $? == 0 ]; then
	echo .
	exit 0
else
	echo failed
	exit 1
fi
