# HG changeset patch
# User Oleg Oshmyan <chortos@inbox.lv>
# Date 1302825989 -10800
# Node ID 0b265fe9c81f506bc37794a6f4f432fe5ee84c0e
# Parent  16fe21d6582e035938c342a38147251b468d17eb
Wall-clock time limit is now enforced on the output wall-clock time

diff -r 16fe21d6582e -r 0b265fe9c81f unix.py
--- a/unix.py	Tue Apr 12 22:25:18 2011 +0300
+++ b/unix.py	Fri Apr 15 03:06:29 2011 +0300
@@ -207,6 +207,9 @@
 			os.close(read)
 			del bury_child.case
 		new_rusage = getrusage(RUSAGE_CHILDREN)
+		if (case.maxwalltime and
+		    case.time_stopped - case.time_started > case.maxwalltime):
+			raise testcases.WallTimeLimitExceeded
 		if new_rusage and (case.maxcputime or not case.maxwalltime):
 			case.time_started = cpustart
 			case.time_stopped = new_rusage.ru_utime + new_rusage.ru_stime