diff options
author | Miles Bader <miles@gnu.org> | 1995-11-06 22:57:27 +0000 |
---|---|---|
committer | Miles Bader <miles@gnu.org> | 1995-11-06 22:57:27 +0000 |
commit | 75884d172cbee6cd968c7d93bf3fe9132e42f57d (patch) | |
tree | eecc4afd8a2d7581dd28488880de3e76785afc39 /hurd.boot | |
parent | 17aa9d8024e8d9e05231295d2c5eb50441f1dc01 (diff) |
(fshelp_fetch_root):
When PORT_TYPE is MACH_MSG_TYPE_MAKE_SEND, make the right *before* using it.
Don't bother reauthenticating the underlying node returned by CALLBACK2 --
it already has the right ids. This also gets rid of a problem with giving
away our auth port prematurely.
Diffstat (limited to 'hurd.boot')
0 files changed, 0 insertions, 0 deletions