The command is 'kill'. It takes a process ID (PID). ps lists it.

Edit: Beaten to it, doh!


Edited by Roger (20/10/2002 13:07)
_________________________
-- roger