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