(socket): Consider MIG_BAD_ID and EOPNOTSUPP as indications that the
authormib <mib>
Fri, 21 Jul 1995 16:59:13 +0000 (16:59 +0000)
committermib <mib>
Fri, 21 Jul 1995 16:59:13 +0000 (16:59 +0000)
server has died.

sysdeps/mach/hurd/socket.c

index b779360..282c24e 100644 (file)
@@ -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.  */