#
SCRIPTS=${HOME}/scripts
#
if [ "$#" -eq 1 ]; then
        livedir=$1
else
        echo "Use: $0 <live dir>"
        echo " "
        echo "   Example:"
        echo "   % $0 /home/dash/WWW/Slate/Live"
        echo " "
        exit 1
fi
PIDFILE="${livedir}/runlive.pid"
#
if test -f "$PIDFILE"; then
    kill -15 `cat $PIDFILE`
    sleep 3
    rm -f $PIDFILE
    echo "${livedir} was stopped."
else
    echo "${livedir} is no running"
fi