# HG changeset patch
# User kleing
# Date 1119579528 -7200
# Node ID 2916415680b9208047a9c7c2e8dd87b7645cd589
# Parent  e97188c6bd71ceceaaa38cfa42ddfd84789b53b9
shortened time out by 3h (gives up at 12:00h now).
test should be finished by 10:00h usually.

diff -r e97188c6bd71 -r 2916415680b9 Admin/isatest-check
--- a/Admin/isatest-check	Fri Jun 24 03:16:52 2005 +0200
+++ b/Admin/isatest-check	Fri Jun 24 04:18:48 2005 +0200
@@ -46,9 +46,9 @@
 
 ## main
 
-# check if tests are still running, wait for them to finish for max 8h
+# check if tests are still running, wait for them to finish for max 5h
 i=0
-while [ -n "$(ls $RUNNING)" -a $i -lt 8 ]; do 
+while [ -n "$(ls $RUNNING)" -a $i -lt 5 ]; do 
     sleep 3600
     let "i = i+1"
 done