#!/bin/bash

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

INSTANCE_HOME="$reldir"

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