(socket): Consider MIG_BAD_ID and EOPNOTSUPP as indications that the
authormib <mib>
Fri, 21 Jul 1995 16:59:13 +0000 (16:59 +0000)
committermib <mib>
Fri, 21 Jul 1995 16:59:13 +0000 (16:59 +0000)
commitd8b287cec906037a14a2766bb1c538c17f0eb750
treea0ba8bf6c25e01c7841bb68bbbd0a96694399d84
parent170f9bdff629101cabf4647a0346119fd7e75437
(socket): Consider MIG_BAD_ID and EOPNOTSUPP as indications that the
server has died.
sysdeps/mach/hurd/socket.c