Killing mex

["John R. Anderson", VLD/ASB]

I use the following ".logout" file to kill mex when logging out.  I can't
take credit for it, I got it through INFO-IRIS some time ago.

************************************************
clear
ismex
if ($status == 1 && `tty` == "/dev/console") then
	# Kill off mex the hard way
	# This still doesn't get rid of any textports!  *Sigh*
	(sleep 2; kill -9 ` ps x | grep 'mex$' | awk '{print $1}' `) &
endif
echo -n "logout " $user " "; date;
************************************************


Obviously, you must be running "csh" to use this.