Lookup the startup server through /servers/startup
authorDavid Michael <fedora.dm0@gmail.com>
Sun, 11 Mar 2018 23:21:44 +0000 (00:21 +0100)
committerSamuel Thibault <samuel.thibault@ens-lyon.org>
Sun, 11 Mar 2018 23:24:31 +0000 (00:24 +0100)
commitda6d4404ecfd7eacba8c096b0761a5758a59da4b
tree6d1bff4b44189a104de3659775807e7c073133d8
parentd3da750d019d458355af602936d01901ba14f11c
Lookup the startup server through /servers/startup

* sysdeps/mach/hurd/reboot.c: Include <hurd/paths.h>
(reboot): Lookup _SERVERS_STARTUP instead of calling proc_getmsgport to get a
port to the startup server.
ChangeLog
sysdeps/mach/hurd/reboot.c