use the cached version of the build farm for the web interface

diff --git a/web/build.py b/web/build.py
index 6d06c3d8b6e34015e3c6a9d6442200e965f58148..977f16e02c686f5290f7cf72ab51ff9d7634e965 100755 (executable)
--- a/web/build.py
+++ b/web/build.py
@@ -30,7 +30,7 @@ import sys
 sys.path.insert(0, os.path.join(os.path.dirname(__file__), ".."))
 
 from buildfarm import (
-    BuildFarm,
+    CachingBuildFarm,
     data,
     history,
     util,
@@ -45,7 +45,7 @@ standalone = 0
 webdir = os.path.dirname(__file__)
 basedir = os.path.abspath(os.path.join(webdir, ".."))
 
-buildfarm = BuildFarm()
+buildfarm = CachingBuildFarm()
 
 db = data.BuildResultStore(basedir)
 #history = history.History(db)