Lookup the startup server through /servers/startup
authorDavid Michael <fedora.dm0@gmail.com>
Wed, 29 Nov 2017 03:00:21 +0000 (03:00 +0000)
committerPeter Michael Green <plugwash@raspbian.org>
Wed, 29 Nov 2017 03:00:21 +0000 (03:00 +0000)
commitf0700149b7802d3593504382c46026d81e878691
treee0ec853b929635ec41ac26ec71539d7a8429aaa3
parent828a50b434b14342a604cdaba8ef25f0cf86a9a3
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