(__pipe): Consider MIG_BAD_ID and EOPNOTSUPP as indications that the server port...

diff --git a/sysdeps/mach/hurd/pipe.c b/sysdeps/mach/hurd/pipe.c
index 07c802f5a054d72d238a1ef5b558ee5f639b4933..610b4b253ad3577924c175e6c0fe32b38128e909 100644 (file)
--- 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.  */