Carl Fredrik Hammar, le Tue 29 Dec 2009 23:40:21 +0100, a écrit : > On Tue, Dec 29, 2009 at 11:10:00PM +0100, Samuel Thibault wrote: > > > > That's the same. To make it clearer, see attached patch. > > I meant in the other branch of the if (though for some reason I didn't > consider the server part's if).
Err, what for? In that case, dead name notification isn't requested, is it? Or is it always requested by default and ports_interrupt_self_on_port_death() is just to change the behavior? (I'm a complete newbie for such parts of the Hurd...) Samuel
