while (max_domain < domain);
_hurd_socket_server (int domain, int dead){  socket_t server;  HURD_CRITICAL_BEGIN;  __mutex_lock (&lock);  if (domain > max_domain)    {      error_t save = errno;      file_t *new = realloc (servers, (domain + 1) * sizeof (file_t));      if (new != NULL)	{	  while (max_domain <= domain)	    new[++max_domain] = MACH_PORT_NULL;	  servers = new;	}      else	/* No space to cache the port; we will just fetch it anew below.  */	errno = save;    }  if (dead && domain <= max_domain)    {      /* The user says the port we returned earlier (now in SERVERS[DOMAIN])	 was dead.  Clear the cache and fetch a new one below.  */      __mach_port_deallocate (__mach_task_self (), servers[domain]);      servers[domain] = MACH_PORT_NULL;    }  if (domain > max_domain || servers[domain] == MACH_PORT_NULL)    {      char name[sizeof (_SERVERS_SOCKET) + 100];      char *np = &name[sizeof (name)];      *--np = '\0';      np = _itoa (domain, np, 10, 0);      *--np = '/';      np -= sizeof (_SERVERS_SOCKET) - 1;      memcpy (np, _SERVERS_SOCKET, sizeof (_SERVERS_SOCKET) - 1);      server = __file_name_lookup (np, 0, 0);      if (domain <= max_domain)	servers[domain] = server;    }  else    server = servers[domain];  if (server == MACH_PORT_NULL && errno == ENOENT)    /* If the server node is absent, we don't support that protocol.  */    errno = EPFNOSUPPORT;  __mutex_unlock (&lock);  HURD_CRITICAL_END;  return server;}