Apply the getaddrinfo fix to all calls to it in wsgi_sever.py