Make it possible to exit from the server without forcibly killing it.