#!/bin/bash
DIRECTORY=`dirname $0`
echo $DIRECTORY

DIR=$DIRECTORY
if [ "$DIR" == "" ] ; then
	HOME=$(pwd)
else
	HOME=$DIR
fi
PIDFILE=$HOME/pid

if [ -f $PIDFILE ] ; then
	kill `cat $PIDFILE`
	rm $PIDFILE
	echo "stop"
else
	echo "Error: unable to find pid file"
fi