David Marker wrote: > [...] > > Any other ideas? > Cause either we run with what we got and accept this flaw, or I got some > re-tooling of things like webrev.py, notify.py, update the clone etc. > >
Sounds like we will be going with disabling CTRL-C on the client in cadmium. That isn't perfect but will catch most everybody. And for those it doesn't catch we will just have to have a gatekeeper fix the clone when somebody complains. -dvd For those curious, ssh resets signals even on the client. So ignoring SIGINT doesn't do the trick. We have to disable them in the terminal (and then make sure we re-enable them upon exit).
