if [ -x /etc/portmap ]
then
#	kill NFS daemons portmap, nfsd, mountd, biod
#	kill portmap if running
	pid=`/bin/ps -ef 2>/dev/null | /bin/grep portmap | \
		/bin/grep -v grep | \
 		/bin/sed -e 's/  *[a-z0-9]*  *//' -e 's/ .*//'`

 	if [ "${pid}" != "" ]
 	then
		/bin/kill -9 ${pid}
 	fi
#	kill nfsd if running
	pid=`/bin/ps -ef 2>/dev/null | /bin/grep nfsd | \
		/bin/grep -v grep | \
 		/bin/sed -e 's/  *[a-z0-9]*  *//' -e 's/ .*//'`

 	if [ "${pid}" != "" ]
 	then
		/bin/kill -9 ${pid}
 	fi
#	kill mountd if running
	pid=`/bin/ps -ef 2>/dev/null | /bin/grep mountd | \
		/bin/grep -v grep | \
 		/bin/sed -e 's/  *[a-z0-9]*  *//' -e 's/ .*//'`

 	if [ "${pid}" != "" ]
 	then
		/bin/kill -9 ${pid}
 	fi
#	kill biod if running
	pid=`/bin/ps -ef 2>/dev/null | /bin/grep biod | \
		/bin/grep -v grep | \
 		/bin/sed -e 's/  *[a-z0-9]*  *//' -e 's/ .*//'`

 	if [ "${pid}" != "" ]
 	then
		/bin/kill -9 ${pid}
 	fi
fi
