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

bug-hurd

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

Current Thread

[Next in Thread]

[PATCH] hurd: Get a startup server port from a file instead of a PID, David Michael, 2015/02/01
- Re: [PATCH] hurd: Get a startup server port from a file instead of a PID, Samuel Thibault <=
- Message not available
  - Re: [PATCH 8/8] startup: bind the startup server to /servers/startup, Thomas Schwinge, 2015/02/20