def patch_dns(): from gevent.socket import gethostbyname, getaddrinfo _socket = __import__('socket') _socket.getaddrinfo = getaddrinfo _socket.gethostbyname = gethostbyname