Lookup the startup server through /servers/startup
authorDavid Michael <fedora.dm0@gmail.com>
Tue, 4 Sep 2018 19:13:02 +0000 (20:13 +0100)
committerSamuel Thibault <sthibault@debian.org>
Tue, 4 Sep 2018 19:13:02 +0000 (20:13 +0100)
commit427f11f163de2fb3a292e30ec33c0171e0856842
tree53b83dcc177c00709b89e0e640e57ef80887bfc1
parentb23116acb0fbb791828acc3aa068c889ddb07ff6
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