#!/bin/sh
#
# $Id: faum-kill,v 1.1 2004/09/20 15:43:26 vrsieh Exp $
#

if [ -f frontend.pid ] ; then
	kill -TERM `cat frontend.pid`
	sleep 1
fi

i=0;
while [ ${i} -lt 5 ] ; do
	if [ -f frontend.pid ] ; then
		sleep 1
	fi
	i=`expr ${i} + 1`
done

if [ -f frontend.pid ] ; then
	kill -KILL `cat *.pid`
	sleep 2

	rm -f *.pid
	rm -f *.shm
fi
