comparison win32.py @ 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 6c2997616bdf
children 08a1d6cc5948
comparison
equal deleted inserted replaced
108:218b8c28549c 117:6bb59a011bcb
514 ir.EventType == 1 and 514 ir.EventType == 1 and
515 ir.Event.KeyEvent.bKeyDown and 515 ir.Event.KeyEvent.bKeyDown and
516 ir.Event.KeyEvent.wVirtualKeyCode == 27): 516 ir.Event.KeyEvent.wVirtualKeyCode == 27):
517 raise testcases.CanceledByUser 517 raise testcases.CanceledByUser
518 case.time_stopped = clock() 518 case.time_stopped = clock()
519 if GetProcessTimes: 519 if GetProcessTimes and (case.maxcputime or not case.maxwalltime):
520 try: 520 try:
521 times = GetProcessTimes(case.process._handle) 521 times = GetProcessTimes(case.process._handle)
522 except WindowsError: 522 except WindowsError:
523 pass 523 pass
524 else: 524 else: