server update

Server can now exit gracefully. Simply type ‘EXIT’ on the command line
at any time and the server will shut down.