--- distcc-config.orig 2004-07-18 00:17:35.876880544 +0200 +++ distcc-config 2004-07-18 00:19:17.056498904 +0200 @@ -99,7 +99,7 @@ HOSTS_HOME = os.environ.get('HOME')+'/hosts' if HOSTS_ENV: print HOSTS_ENV - elif os.path.exists(HOSTS_HOME) and os.path.getsize(HOSTS_HOME) != 0: + elif os.path.isfile(HOSTS_HOME) and os.path.getsize(HOSTS_HOME) != 0: print HOSTS_HOME elif os.path.exists('/etc/distcc/hosts'): print rstrip(open('/etc/distcc/hosts', 'r').read())