From: bangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Sun, 19 Dec 2010 16:36:18 +0000 (+0000)
Subject: Say how many seconds were waited before killing the job.
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0d8239425b4a63fa77197af362c2ef8ea6013ecc;p=dealii-svn.git

Say how many seconds were waited before killing the job.


git-svn-id: https://svn.dealii.org/trunk@23005 0785d39b-7218-0410-832d-ea1e28bc413d
---

diff --git a/tests/tests.h b/tests/tests.h
index 11b1b9dc9a..c2d4d02a4a 100644
--- a/tests/tests.h
+++ b/tests/tests.h
@@ -140,7 +140,9 @@ struct DeadlockKiller
 	    if (conv)
 	      {
 		sleep (delay);
-		std::cerr << "Time's up: Killing job because it overran its allowed walltime"
+		std::cerr << "Time's up: Killing job after "
+			  << delay
+			  << " seconds because it overran its allowed walltime."
 			  << std::endl;
 		std::abort ();
 	      }