(__pipe): Consider MIG_BAD_ID and EOPNOTSUPP as indications that the
authormib <mib>
Fri, 21 Jul 1995 16:54:30 +0000 (16:54 +0000)
committermib <mib>
Fri, 21 Jul 1995 16:54:30 +0000 (16:54 +0000)
commit170f9bdff629101cabf4647a0346119fd7e75437
tree46e5bca508d5ac14f722c7d6a99150cdcf132ca2
parent2c486f08d3088c830fa377bd9a64edaa7c18edc9
(__pipe): Consider MIG_BAD_ID and EOPNOTSUPP as indications that the
server port has died.
sysdeps/mach/hurd/pipe.c