diff options
| author | Thomas Bushnell, BSG <thomas@gnu.org> | 1995-07-21 17:03:01 +0000 |
|---|---|---|
| committer | Thomas Bushnell, BSG <thomas@gnu.org> | 1995-07-21 17:03:01 +0000 |
| commit | 584de3b9d68612c9c04a7afdda5f86d0b4a2d4ca (patch) | |
| tree | 9eed5706c5d28474ae21ffeaf699442068804095 /sysdeps | |
| parent | 620ce2509a8e6b5e90be1b26cd85d37b9c37658f (diff) | |
*** 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.
Diffstat (limited to 'sysdeps')
| -rw-r--r-- | sysdeps/mach/hurd/socket.c | 5 | ||||
| -rw-r--r-- | sysdeps/mach/hurd/socketpair.c | 5 |
2 files changed, 6 insertions, 4 deletions
diff --git a/sysdeps/mach/hurd/socket.c b/sysdeps/mach/hurd/socket.c index b779360780..282c24e36b 100644 --- a/sysdeps/mach/hurd/socket.c +++ b/sysdeps/mach/hurd/socket.c @@ -1,4 +1,4 @@ -/* Copyright (C) 1992, 1993, 1994 Free Software Foundation, Inc. +/* Copyright (C) 1992, 1993, 1994, 1995 Free Software Foundation, Inc. This file is part of the GNU C Library. The GNU C Library is free software; you can redistribute it and/or @@ -40,7 +40,8 @@ DEFUN(socket, (domain, type, protocol), return -1; err = __socket_create (server, type, protocol, &sock); - if (err == MACH_SEND_INVALID_DEST || err == MIG_SERVER_DIED) + if (err == MACH_SEND_INVALID_DEST || err == MIG_SERVER_DIED + || err == MIG_BAD_ID || err == EOPNOTSUPP) { /* On the first use of the socket server during the operation, allow for the old server port dying. */ diff --git a/sysdeps/mach/hurd/socketpair.c b/sysdeps/mach/hurd/socketpair.c index c4d09c707a..951d535504 100644 --- a/sysdeps/mach/hurd/socketpair.c +++ b/sysdeps/mach/hurd/socketpair.c @@ -1,4 +1,4 @@ -/* Copyright (C) 1992, 1994 Free Software Foundation, Inc. +/* Copyright (C) 1992, 1994, 1995 Free Software Foundation, Inc. This file is part of the GNU C Library. The GNU C Library is free software; you can redistribute it and/or @@ -48,7 +48,8 @@ DEFUN(socketpair, (domain, type, protocol, fds), /* Create two sockets and connect them together. */ err = __socket_create (server, type, protocol, &sock1); - if (err == MACH_SEND_INVALID_DEST || err == MIG_SERVER_DIED) + if (err == MACH_SEND_INVALID_DEST || err == MIG_SERVER_DIED + || err == MIG_BAD_ID || err == EOPNOTSUPP) { /* On the first use of the socket server during the operation, allow for the old server port dying. */ |