
# if running, kill NFS daemons portmap, nfsd, mountd, and biod
kill_cmd() {
	PID=`/bin/ps -ef 2>/dev/null | /bin/grep $1 | \
		/bin/grep -v grep | \
 		/bin/sed -e 's/  *[a-z0-9]*  *//' -e 's/ .*//'`

 	if [ "$PID" != "" ]; then
		/bin/kill -9 $PID
 	fi
}
if [ -x /etc/portmap ]; then
	for DAEMON in biod  mountd nfsd portmap; do
		kill_cmd $DAEMON
	done
fi
