Bug#1052451: when receiving a SIGINT, unison should send it to the process group, not just to ssh

2024-04-19 Thread Vincent Lefevre
While doing tests, I've noticed a similar issue when I don't type the passphrase and wait. In this case, there is a timeout from unison: "Timed out negotiating connection with the server". This corresponds (in src/remote.ml) to let initConnection ?(connReady=fun () -> ()) ?cleanup in_ch out_ch =

Bug#1052451: when receiving a SIGINT, unison should send it to the process group, not just to ssh

2023-09-22 Thread Vincent Lefevre
Control: reassign -1 unison-2.53 2.53.3-2 Control: retitle -1 when receiving a SIGINT, unison should send it to the process group, not just to ssh A summary of the issue: I'm using a wrapper to ssh in order to call ssh-add before the real ssh, when needed. When I run unison and type Ctrl-C when