From aaaff7515b757cf8d29501f83518c73e5992c4a3 Mon Sep 17 00:00:00 2001
From: Michael Tremer <michael.tremer@ipfire.org>
Date: Thu, 23 Oct 2008 22:59:15 +0200
Subject: [PATCH] Cleaning up the host list a little bit.

---
 build/builder.py | 3 +++
 1 file changed, 3 insertions(+)

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
-- 
2.39.2