Lookup the startup server through /servers/startup
authorDavid Michael <fedora.dm0@gmail.com>
Tue, 18 Oct 2016 21:10:46 +0000 (21:10 +0000)
committerAurelien Jarno <aurel32@debian.org>
Tue, 18 Oct 2016 21:10:46 +0000 (21:10 +0000)
commit8a5f826d513e488c1ff21adbcd653618ceafe08a
tree37e8dc4c289f5384e51c346d3161737447cdc800
parentd22ee389e6aeb845edf0a47a054d2a20bb0de2e6
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