Developers should not have to remember to call shutdown manually. It should happen automatically when they ask to close the server.
