1 diff -Nur arm.vanilla/src/util/hostnames.py arm/src/util/hostnames.py
2 --- arm.vanilla/src/util/hostnames.py 2012-04-29 05:59:24.000000000 +0200
3 +++ arm/src/util/hostnames.py 2013-07-31 17:59:19.245591564 +0200
8 -import distutils.sysconfig
10 from util import log, sysTools
13 # 'socket.gethostbyaddr'. The following checks if the system has the
14 # gethostbyname_r function, which determines if python resolutions can be
15 # done in parallel or not. If so, this is preferable.
16 - isSocketResolutionParallel = distutils.sysconfig.get_config_var("HAVE_GETHOSTBYNAME_R")
17 + isSocketResolutionParallel = True #distutils.sysconfig.get_config_var("HAVE_GETHOSTBYNAME_R")
18 self.useSocketResolution = CONFIG["queries.hostnames.useSocketModule"] and isSocketResolutionParallel
20 for _ in range(CONFIG["queries.hostnames.poolSize"]):