Lookup the startup server through /servers/startup
authorDavid Michael <fedora.dm0@gmail.com>
Mon, 16 Jan 2017 17:43:37 +0000 (17:43 +0000)
committerAurelien Jarno <aurel32@debian.org>
Mon, 16 Jan 2017 17:43:37 +0000 (17:43 +0000)
commit988c36d9d70fe8a455e27d41c362714546d376da
treeb940e9b0eeefd9bf1e7b4d68610196bec80e8a81
parent28a6f4d0f8c4476518cfaa74ce13ff39a58be832
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