# HG changeset patch
# User Oleg Oshmyan <chortos@inbox.lv>
# Date 1292879008 -7200
# Node ID c726235e49eec46703ab55af10bc013825609ca7
# Parent  1914ae9cfdce40702f75133cec5d75ea1ceefb3d
Hopefully somewhat improve accuracy of run-time reporting

diff -r 1914ae9cfdce -r c726235e49ee testcases.py
--- a/testcases.py	Mon Dec 20 22:44:34 2010 +0200
+++ b/testcases.py	Mon Dec 20 23:03:28 2010 +0200
@@ -394,7 +394,7 @@
 											raise CanceledByUser
 										else:
 											time_next_check = now + .15
-									time.sleep(0)
+									time.sleep(.001)
 						else:
 							time_end = case.time_started + case.maxtime
 							while True:
@@ -410,7 +410,7 @@
 											raise CanceledByUser
 										else:
 											time_next_check = now + .15
-									time.sleep(0)
+									time.sleep(.001)
 						if config.globalconf.force_zero_exitcode and case.process.returncode:
 							raise NonZeroExitCode(case.process.returncode)
 						callback()
@@ -443,7 +443,7 @@
 								raise CanceledByUser
 							else:
 								time_next_check = now + .15
-						time.sleep(0)
+						time.sleep(.001)
 			else:
 				time_end = case.time_started + case.maxtime
 				while True:
@@ -459,7 +459,7 @@
 								raise CanceledByUser
 							else:
 								time_next_check = now + .15
-						time.sleep(0)
+						time.sleep(.001)
 			if config.globalconf.force_zero_exitcode and case.process.returncode:
 				raise NonZeroExitCode(case.process.returncode)
 			callback()