Re: [PATCH] hurd: Get a startup server port from a file instead of a PID

[Samuel Thibault]

Thanks a LOT for having done it :)

Samuel