Lookup the startup server through /servers/startup
authorDavid Michael <fedora.dm0@gmail.com>
Mon, 16 Jul 2018 20:23:13 +0000 (21:23 +0100)
committerAurelien Jarno <aurel32@debian.org>
Mon, 16 Jul 2018 20:23:13 +0000 (21:23 +0100)
commitb6c5e36b6dfe6f9ea8d659cce719b7ec19b68a89
tree6e0d369b637b745ece8f2b9f5782edd368fb472a
parenta79c26827462cb18af28ffdb1d33acc928ea50ce
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 git-reboot-startup.diff
sysdeps/mach/hurd/reboot.c