ok, ho scavalcato il problema utilizzando la funzione gethostbyname() che risolve nome e indirizzi in formato decimale puntato. :rollo: