Lookup the startup server through /servers/startup
authorDavid Michael <fedora.dm0@gmail.com>
Tue, 21 Nov 2017 23:14:20 +0000 (23:14 +0000)
committerAurelien Jarno <aurel32@debian.org>
Tue, 21 Nov 2017 23:14:20 +0000 (23:14 +0000)
commit6fd622398cef2ae3cf9a857f38982d9f0e91c271
treeb05c7fcefa7ec38d4052b4f40d38e69f9a6ecb03
parent60f764b7a50594d8116a035e8d24aae84d8aa0d8
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