From 0d8239425b4a63fa77197af362c2ef8ea6013ecc Mon Sep 17 00:00:00 2001 From: bangerth Date: Sun, 19 Dec 2010 16:36:18 +0000 Subject: [PATCH] Say how many seconds were waited before killing the job. git-svn-id: https://svn.dealii.org/trunk@23005 0785d39b-7218-0410-832d-ea1e28bc413d --- tests/tests.h | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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 (); } -- 2.39.5