mirror-health: don't (ab)use the proxy interface
authorJulien Cristau <jcristau@debian.org>
Wed, 9 Oct 2019 13:56:26 +0000 (15:56 +0200)
committerJulien Cristau <jcristau@debian.org>
Wed, 9 Oct 2019 13:56:26 +0000 (15:56 +0200)
commit689a1da09e35835d4f266891eb30182a5d6b6018
tree68b1800d56219cf3c4a6864b57c37af10f99195c
parent9728596ba8cf819fe5255eb2aee9b2c469b8359c
mirror-health: don't (ab)use the proxy interface

monkey-patch urllib3.util.connection.create_connection to override
address resolution, which is ugly but makes this work with https.
modules/mirror_health/files/mirror-health