Improved server operation, clean exit on ^C