Lookup the startup server through /servers/startup
authorDavid Michael <fedora.dm0@gmail.com>
Fri, 25 Nov 2016 22:09:39 +0000 (22:09 +0000)
committerAurelien Jarno <aurel32@debian.org>
Fri, 25 Nov 2016 22:09:39 +0000 (22:09 +0000)
commit67bf514a49ed2ef96b3c2610c0407937299a0d75
tree625296e56711d4013078a7a644c801f98db8b53e
parent4ff9acfb2675ac5e23d0210d5969b2e29e3e5704
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