The following was done withOUT the fix for SYNR-1125. I.e., we have not introduced the mechanism to check for keyboard interrupt:
Operations like "1+1" and "cat('foo\n')" have no output, while operations like "message('foo')" and "stop('foo')" do have output. I think the former use stdout and the latter stderr. We have logic to capture stdout and stderr while calling Python methods. I wonder if hitting ctrl+c while this reroute is active is leaving stdout permanently modified.
I have also seen this after hitting ctrl+c while downloading a large file (i.e., while 'synGet' was waiting to complete).