Server now handles KeyboardInterrupt. More logging.