#!/bin/csh -f
#
#  This script must be run as root.

echo "Blindly unmounting Alex just to be safe."
echo "I will remove any core file after umount finishes (don't, worry be happy)"
/usr/misc/.nfs/etc/umount /alex
/bin/rm -f core


