[Nix-dev] [PATCH] Make `build-remote.pl' work with GNU lshd

[Ludovic Courtès]

Hi,

Eelco Dolstra <e.dolstra at tudelft.nl> skribis:

> No, it doesn't: try "ssh host sleep 10000", kill ssh, and observe that the
> "sleep" command continues to run on the remote host.
>
> If you use "ssh -tt", then a SIGHUP is sent to the remote processes, but this
> causes problems with connection sharing on some platforms.

OK, I see.

Any suggestions to move forward?  :-)

Thanks,
Ludo’.