Lookup the startup server through /servers/startup
authorDavid Michael <fedora.dm0@gmail.com>
Sun, 3 Jul 2016 19:59:34 +0000 (19:59 +0000)
committerAurelien Jarno <aurel32@debian.org>
Sun, 3 Jul 2016 19:59:34 +0000 (19:59 +0000)
commit2143910caefb322bdf9617bfa1871760b0831869
tree690d5d5c5a185ff063bc11a56e9745329deed42b
parente3c319be9a87ab3f2e946fc3ed9aec60542a6fe2
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