changeset 117:6bb59a011bcb

Wall-clock time is output when maxwalltime but not maxcputime now on Win32 too
author Oleg Oshmyan <chortos@inbox.lv>
date Sun, 10 Apr 2011 00:59:40 +0300
parents 218b8c28549c
children 16fe21d6582e
files win32.py
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/win32.py	Fri Apr 08 19:24:51 2011 +0300
+++ b/win32.py	Sun Apr 10 00:59:40 2011 +0300
@@ -516,7 +516,7 @@
 					    ir.Event.KeyEvent.wVirtualKeyCode == 27):
 						raise testcases.CanceledByUser
 	case.time_stopped = clock()
-	if GetProcessTimes:
+	if GetProcessTimes and (case.maxcputime or not case.maxwalltime):
 		try:
 			times = GetProcessTimes(case.process._handle)
 		except WindowsError: