Skip to content
Commit da6d4404 authored by David Michael's avatar David Michael Committed by Samuel Thibault
Browse files

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.
parent d3da750d
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment