Lookup the startup server through /servers/startup
authorDavid Michael <fedora.dm0@gmail.com>
Fri, 9 Mar 2018 20:48:04 +0000 (20:48 +0000)
committerAurelien Jarno <aurel32@debian.org>
Fri, 9 Mar 2018 20:48:04 +0000 (20:48 +0000)
commit2332da4975a4b98ae705d092163c675b5692d2b4
tree29926af69352be02dd66606c5275c4068eb838f1
parent491430d7670cdc8f5015e1f2fa74de493e3afe9c
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