Lookup the startup server through /servers/startup
authorDavid Michael <fedora.dm0@gmail.com>
Mon, 29 Oct 2018 20:36:01 +0000 (20:36 +0000)
committerSamuel Thibault <sthibault@debian.org>
Mon, 29 Oct 2018 20:36:01 +0000 (20:36 +0000)
commit84b6c44d4bf8b64e5b8bfa02f825bf476f0b2c4c
tree171337a9227aa16b3e5845d33283e2b49cc7b4dd
parent2ab82f0906536511a1c1132a8d9ec82077232461
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