From: Michael Tremer <michael.tremer@ipfire.org>
Date: Thu, 23 Oct 2008 20:59:15 +0000 (+0200)
Subject: Cleaning up the host list a little bit.
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=aaaff7515b757cf8d29501f83518c73e5992c4a3;p=ipfire.org.git

Cleaning up the host list a little bit.
---

diff --git a/build/builder.py b/build/builder.py
index 86a07bc1..35778f8e 100644
--- 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