#!/bin/bash

reldir=`dirname "$0"`
reldir=`cd "$reldir" ; pwd`

INSTANCE_HOME="$reldir"

PID=`cat "$INSTANCE_HOME/var/Z2.pid" 2> /dev/null`
if [ "$PID" ]; then
    kill $PID 2> /dev/null
fi

"$reldir/stop_zeo"
