[EMAIL PROTECTED] (Alfred M. Szmidt) writes: > What is/was the idea behind /servers/startup anyway?
For the startup.defs interface. Nowadays we get to the relevant server by looking up the message port for pid 1. The entry for /servers/startup predated the full-blown message port mechanism, and should probably be deleted. Thomas _______________________________________________ Help-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/help-hurd
