Always check if the host is pingable before we send it to the childs.

diff --git a/build/builder.py b/build/builder.py
index cce07e50219255c2d5aed5769e57af0d67b69365..9a6d49df513c0a5efcdc5e5b48c18178462ff08f 100644 (file)
--- a/build/builder.py
+++ b/build/builder.py
@@ -155,7 +155,7 @@ class DistccConfig(DatabaseConfig):
                self.hostname = hostname
        
        def __str__(self):
-               if not self.hostname:
+               if not self.ping():
                        return ""
                return "%s:%s/4,lzo" % \
                        (socket.gethostbyname(self.hostname), self.get(),)