(__pipe): Consider MIG_BAD_ID and EOPNOTSUPP as indications that the server port...
commit620ce2509a8e6b5e90be1b26cd85d37b9c37658f
authorThomas Bushnell, BSG <thomas@gnu.org>
Fri, 21 Jul 1995 16:54:30 +0000 (21 16:54 +0000)
committerThomas Bushnell, BSG <thomas@gnu.org>
Fri, 21 Jul 1995 16:54:30 +0000 (21 16:54 +0000)
tree98f22d088107977d60ba0d32e2ff6dc647c63ba7
parentac00263ea0bbc8b9a7da01278b910a1cf506eac4
(__pipe): Consider MIG_BAD_ID and EOPNOTSUPP as indications that the server port has died.
sysdeps/mach/hurd/pipe.c