Wow! Every good linux user knows about the kill command. You use it all the time to kill off out of control or dead processes.
kill 1234will kill off the process with pid 1234. But did you know that
kill -TERM -1234will kill off all processes in 1234's process group? I didn't until just a few minutes ago! Super-handy!