how to kill a server.