Reply to comment

kill -9 PID Kill the process mercilessly.
kill -15 PID Ask the process to nicely stop running
kill -HUP PID Refresh a running process after config file changes - I have used this one a lot after making changes to /etc/ssh/sshd_config
kill -HUP -1 (kill all of my processes)

===========================================

A nasty solution:

stick in the following line:

echo $$ > ~/PID

in the user's .login file. and issue the following
commands to logout (actually 'slaughter') the user:

kill -9 `cat ~/PID`

kind regards,
Jos aka jos@and.nl