To generalize this, a user interrupt should be sent to the command actor. And server commands should be converted to command actors. The command actor then has an option of returning partial results. But if there is a second user interrupt, then the sshServer abandons the command actor.
Note that this has implications for both to and server commands.
Console now intercepts the ^C signal as a simple interrupt of the current command, resulting in an immediate command prompt.
The ssh server now also recognizes ^C and passes the interrupt to the command interpreter. Passing the interrupt to the command agents will be handled later.