#!/bin/sh

######################################################################
#
#  Figure out the installation path
#
######################################################################
base=`basename $0`
basedir=`dirname $0`
dir=`(cd $basedir; pwd)`
if [ ! -f "$dir/$base" ]; then
    echo "Can't determine installation directory - exiting."
    exit 1
fi

######################################################################
#
#  Stop the server
#
######################################################################
$dir/stop
$dir/start
