#!/bin/sh

PID_FILE=%%%SUBDIR%%%/logs/pid
if test -f $PID_FILE ; then
	kill -HUP `cat $PID_FILE`
	if test $? -ne 0 ; then
		exit 1
	fi
else
	echo server not running
	exit 1
fi
