Lookup the startup server through /servers/startup
authorDavid Michael <fedora.dm0@gmail.com>
Thu, 29 Mar 2018 19:47:29 +0000 (20:47 +0100)
committerAurelien Jarno <aurel32@debian.org>
Thu, 29 Mar 2018 19:47:29 +0000 (20:47 +0100)
commit331d91926c5e94ce81afe40917b2f85062a9792d
tree45ca118cfad171bb142366c9bfa6470adfc87099
parent74ba0e6030f501bb80c522d9eaca5874489c9f62
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 git-reboot-startup.diff
sysdeps/mach/hurd/reboot.c