Path: utzoo!attcan!uunet!husc6!think!ames!pasteur!agate!ucbvax!BRL.MIL!jra
From: jra@BRL.MIL ("John R. Anderson", VLD/ASB)
Newsgroups: comp.sys.sgi
Subject: Re:  Killing mex
Message-ID: <8811180806.aa02275@VAT.BRL.MIL>
Date: 18 Nov 88 13:06:25 GMT
Sender: usenet@ucbvax.BERKELEY.EDU
Organization: The Internet
Lines: 16

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.