don't timeout games just because they're set to sleep a long time between moves.

This commit is contained in:
ehouse 2009-09-17 03:41:08 +00:00
parent 283a249548
commit e8ae5e43ad

View file

@ -201,7 +201,8 @@ do_one() {
done
test -n "$VERBOSE" && echo "watching:$PIDS"
END_TIME=$(($(date +%s) + 300)) # five minute timeout
# allow time for 25 moves, then timeout
END_TIME=$(($(date +%s) + $((WAIT_MAX*20))))
while [ -d /tmp/$RUN_NAME -a -n "$PIDS" ]; do
sleep 10
for PID in $PIDS; do