We've gotta kill the whole process tree to kill the server.