*** empty log message ***
commit584de3b9d68612c9c04a7afdda5f86d0b4a2d4ca
authorThomas Bushnell, BSG <thomas@gnu.org>
Fri, 21 Jul 1995 17:03:01 +0000 (21 17:03 +0000)
committerThomas Bushnell, BSG <thomas@gnu.org>
Fri, 21 Jul 1995 17:03:01 +0000 (21 17:03 +0000)
tree9eed5706c5d28474ae21ffeaf699442068804095
parent620ce2509a8e6b5e90be1b26cd85d37b9c37658f
*** empty log message ***

Fri Jul 21 12:57:29 1995  Michael I Bushnell  <mib@geech.gnu.ai.mit.edu>

* sysdeps/mach/hurd/socket.c (socket): Consider MIG_BAD_ID and
  EOPNOTSUPP as indications that the server has died.
* sysdeps/mach/hurd/pipe.c (__pipe): Likewise.
* sysdeps/mach/hurd/socketpair.c (socketpair): Likewise.
ChangeLog
sysdeps/mach/hurd/socket.c
sysdeps/mach/hurd/socketpair.c