Lookup the startup server through /servers/startup
authorDavid Michael <fedora.dm0@gmail.com>
Sat, 3 Mar 2018 10:47:56 +0000 (10:47 +0000)
committerAurelien Jarno <aurel32@debian.org>
Sat, 3 Mar 2018 10:47:56 +0000 (10:47 +0000)
commitd28afc908d27224f86fc392f649c19820baa3fb0
treea44c720516ae5439a34e42c9b69294121e498781
parent6b721261beb185b1688fae9845d5186cc0c968c5
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