From 620ce2509a8e6b5e90be1b26cd85d37b9c37658f Mon Sep 17 00:00:00 2001 From: "Thomas Bushnell, BSG" Date: Fri, 21 Jul 1995 16:54:30 +0000 Subject: (__pipe): Consider MIG_BAD_ID and EOPNOTSUPP as indications that the server port has died. --- sysdeps/mach/hurd/pipe.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'sysdeps/mach') diff --git a/sysdeps/mach/hurd/pipe.c b/sysdeps/mach/hurd/pipe.c index 07c802f5a0..610b4b253a 100644 --- a/sysdeps/mach/hurd/pipe.c +++ b/sysdeps/mach/hurd/pipe.c @@ -48,7 +48,8 @@ DEFUN(__pipe, (fds), int fds[2]) /* Create two local domain sockets and connect them together. */ err = __socket_create (server, SOCK_STREAM, 0, &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. */ -- cgit v1.2.3