|
From: | Samuel Thibault |
Subject: | Re: [PATCH] hurd: Get a startup server port from a file instead of a PID |
Date: | Mon, 2 Feb 2015 00:27:09 +0100 |
User-agent: | Mutt/1.5.21+34 (58baf7c9f32f) (2010-12-30) |
Thanks a LOT for having done it :) Samuel
[Prev in Thread] | Current Thread | [Next in Thread] |