Lookup the startup server through /servers/startup
authorDavid Michael <fedora.dm0@gmail.com>
Fri, 26 Jan 2018 22:35:29 +0000 (22:35 +0000)
committerAurelien Jarno <aurel32@debian.org>
Fri, 26 Jan 2018 22:35:29 +0000 (22:35 +0000)
commitb5d008716480f9dfc5f6343458daf85d95812107
tree4180f91f086c8b2598c65aafc94bd7dc23a1562e
parent10c5a7392ae67ac4377fc5aeb068cbd99b37a0b5
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