# # # ident "@(#)preremove 1.4 98/09/25 Sun Microsystems" # # pid=`/usr/bin/ps -e |/usr/bin/grep skipd | /usr/bin/sed -e 's/^ *//' -e 's/ .*//'` if [ "$pid" != "" ]; then echo "## Stopping skip key management daemon." kill $pid fi # Check if we can remove the skip_key driver from system database. # count=`find /kernel/drv -name skip_key -print |wc -l` if [ $count -eq 1 ] then echo "## Removing skip key management drivers." rem_drv skip_key fi sync # force reconfigure on next boot touch /reconfigure echo "## Done ##"