Lookup the startup server through /servers/startup
authorDavid Michael <fedora.dm0@gmail.com>
Fri, 5 Jan 2018 18:09:39 +0000 (18:09 +0000)
committerAurelien Jarno <aurel32@debian.org>
Fri, 5 Jan 2018 18:09:39 +0000 (18:09 +0000)
commit0331ebc497848407fb581f06a4639e4c28607186
tree08c678fdc07e6c5e420cc50615980d4fc30891ea
parent48d510e32304f50c4569ee5b0857de8a5b037502
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.

Gbp-Pq: Topic hurd-i386
Gbp-Pq: Name tg-reboot-startup.diff
sysdeps/mach/hurd/reboot.c