Lookup the startup server through /servers/startup
authorDavid Michael <fedora.dm0@gmail.com>
Sun, 28 May 2017 17:29:33 +0000 (17:29 +0000)
committerAurelien Jarno <aurel32@debian.org>
Sun, 28 May 2017 17:29:33 +0000 (17:29 +0000)
commitce261a6cee3581d743e3d530c7335e8fbf7d1a72
treeb008291b8c9adb885ebc184147c9d89a4c8ffac6
parentf57b2dc432e17e15f55861a272cda92224af974a
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