aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ChangeLog7
-rw-r--r--sysdeps/mach/hurd/socket.c5
-rw-r--r--sysdeps/mach/hurd/socketpair.c5
3 files changed, 13 insertions, 4 deletions
diff --git a/ChangeLog b/ChangeLog
index 72bff83120..8c39709527 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+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.
+
Mon Jul 17 08:45:40 1995 Jim Meyering (meyering@comco.com)
* strtol.c: Portability changes from Uli Drepper.
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. */