protocol: ctrl+c now exits server.