just keep the server running until Ctrl-C