From 08c51677acd247a3063869f891c41e91fe9a15cf Mon Sep 17 00:00:00 2001
From: Daniel Brown <ddb@star.sr.bham.ac.uk>
Date: Sat, 17 Aug 2013 11:38:10 +0100
Subject: [PATCH] removing src and lib directory after build as they take up a
fair bit of space
---
pykat/testing/web/web_interface.py | 1 +
1 file changed, 1 insertion(+)
diff --git a/pykat/testing/web/web_interface.py b/pykat/testing/web/web_interface.py
index bbc4017..9ac6fdc 100644
--- a/pykat/testing/web/web_interface.py
+++ b/pykat/testing/web/web_interface.py
@@ -210,6 +210,7 @@ class FinesseProcessWatcher(Thread):
utils.runcmd(["rm","src","-rf"],cwd=BUILD_PATH)
utils.runcmd(["rm","lib","-rf"],cwd=BUILD_PATH)
+
except RecordNotFound:
print "Could not find database records for test id " + str(self.process_to_watch.test_id)
pass
--
GitLab