make all game ids (cookies) unique; fix success test

This commit is contained in:
ehouse 2009-07-16 04:36:30 +00:00
parent 0a0d4804dd
commit 19cff0f7c5

View file

@ -55,17 +55,19 @@ check_logs() {
fi fi
done done
[ ! 1 = $OK ] && echo "game $COOKIE ended successfully" [ 1 = $OK ] && echo "game $COOKIE ended successfully"
} }
do_one() { do_one() {
COOKIE=${1:-$(exec sh -c 'echo $PPID')} CROOT=${1:-$(exec sh -c 'echo $PPID')}
INDX=1
while [ -d /tmp/$RUN_NAME ]; do # loop forever while [ -d /tmp/$RUN_NAME ]; do # loop forever
COOKIE="$CROOT:$INDX"
INDX=$((INDX+1))
unset ZERO_DONE ONE_DONE TWO_DONE THREE_DONE unset ZERO_DONE ONE_DONE TWO_DONE THREE_DONE
TODO=$(($COOKIE % 3)) TODO=$(($CROOT % 3))
TODO=$((TODO+2)) TODO=$((TODO+2))
COUNT=0 COUNT=0
for NAME in Bbbbb Aaaaa Kkkkk Eeeee; do for NAME in Bbbbb Aaaaa Kkkkk Eeeee; do