Killing mex
"John R. Anderson", VLD/ASB
jra at BRL.MIL
Fri Nov 18 23:06:25 AEST 1988
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.
More information about the Comp.sys.sgi
mailing list