Lookup the startup server through /servers/startup
authorDavid Michael <fedora.dm0@gmail.com>
Sat, 2 Dec 2017 10:07:17 +0000 (10:07 +0000)
committerAurelien Jarno <aurel32@debian.org>
Sat, 2 Dec 2017 10:07:17 +0000 (10:07 +0000)
commitf7d05f4ce9aea35683b9a8df76b64fb8b30a6911
treed4609473c5b9b9410ac720b995260ee7209657b9
parentc2faddd7fc08859a59d6a79d6fe083bfc4ab40e3
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