(_hurd_socket_server): Take new arg DEAD; if nonzero, clear any old cached
authorroland <roland>
Thu, 6 Oct 1994 22:57:23 +0000 (22:57 +0000)
committerroland <roland>
Thu, 6 Oct 1994 22:57:23 +0000 (22:57 +0000)
commit163a56929b4319ac46db69468d01fddbbd96758a
tree0ea1d6b57721d5d406ae76ff340272abf50ba566
parentfc4551545634885b596ecf4061e20b51f109fd27
(_hurd_socket_server): Take new arg DEAD; if nonzero, clear any old cached
port and always do a fresh lookup.
hurd/hurdsock.c