#!/bin/sh

/usr/sbin/mount | /usr/bin/grep "/ " > /dev/null
if [ $? -eq 0 ]; then
	PIDFILE=/var/opt/ahttpd/httpd.pid
	if [ -f $PIDFILE ]; then
		pid=`cat $PIDFILE`
		if [ -f "/proc/$pid" ]; then
			kill -1 $pid
		fi
	fi	
fi
