From 0306cf4b33dd6040220f9d62a4eba7599199b922 Mon Sep 17 00:00:00 2001
From: Daniel Brown <ddb@star.sr.bham.ac.uk>
Date: Wed, 7 Aug 2013 12:48:28 +0100
Subject: [PATCH] adding git pull to commit checker

---
 pykat/testing/web/web_interface.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/pykat/testing/web/web_interface.py b/pykat/testing/web/web_interface.py
index 1563172..bb48e8f 100644
--- a/pykat/testing/web/web_interface.py
+++ b/pykat/testing/web/web_interface.py
@@ -28,7 +28,7 @@ scheduled_tests = []
 schedule_lock = Lock()
 watcher = None
 enabled_suites = ["physics","random"]
-commit_check_seconds = 600
+commit_check_seconds = 60
 
 print "Starting up database"
         
@@ -687,6 +687,7 @@ def setInterval(interval):
     
 @setInterval(commit_check_seconds)
 def checkLatestCommits():
+    utils.git(["pull"], cwd=SRC_GIT_PATH)
     
     global latest_commit_id_tested
     out = utils.git(["log", re.sub(r"[\W]",'',latest_commit_id_tested) + "..HEAD",'--pretty=format:"%H"'], cwd=SRC_GIT_PATH)
-- 
GitLab