Cleaning up the host list a little bit.

diff --git a/build/builder.py b/build/builder.py
index 86a07bc14a0c22e95b383931aad25310d343502b..35778f8eba68e2f6174dcee33e74b823afda13aa 100644 (file)
--- a/build/builder.py
+++ b/build/builder.py
@@ -202,5 +202,8 @@ def getAllBuilders():
        for uuid in os.listdir(config["path"]["db"]):
                if uuid == "empty.txt": continue
                builder = Builder(config, uuid)
+               # If there was no activity since 3 days -> continue...
+               if (time.time() - builder.state.time()) > 3*24*60*60:
+                       continue
                builders.append(builder)
        return builders