On Fri, Dec 09, 2011 at 02:01:11PM +0100, Ludovic Courtès wrote: > Hmm I’m not even sure why these things need to be done. Suppose your > run “ssh host foo”; when the SSH daemon loses the connection, doesn’t it > kill ‘foo’ automatically? I consider that a sighup case.