From 559b170b6dd9e1826c9af6d947ba871849fa8d7a Mon Sep 17 00:00:00 2001
From: Daniel Brown <ddb@star.sr.bham.ac.uk>
Date: Tue, 26 May 2015 19:03:34 +0100
Subject: [PATCH] adding exception check for test server
---
pykat/testing/test.py | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/pykat/testing/test.py b/pykat/testing/test.py
index 63653c5..ca86138 100755
--- a/pykat/testing/test.py
+++ b/pykat/testing/test.py
@@ -413,9 +413,11 @@ class FinesseTestProcess(Thread):
print "removing out file ", out_file
os.remove(out_file)
- except ex:
+ except DiffException as ex:
print(str(ex), "output =", out)
-
+ except:
+ print("Error processing output = ", out)
+
self.done_kats.value += 1
print "Finished diffing..."
--
GitLab