diff --git a/basice2e/run.sh b/basice2e/run.sh index cedccc7775242efbb346c8f06d55d4c2ef5768be..016741c4f93cc308cb6a67d16c8182825df1c0e1 100755 --- a/basice2e/run.sh +++ b/basice2e/run.sh @@ -111,6 +111,13 @@ runclients echo "RUNNING CLIENTS (2nd time)..." runclients +# HACK HACK HACK: Remove the ratchet warning from client output +for F in $(find results/clients -type f) +do + cat $F | grep -v "[Rr]atcheting" > $F.tmp + mv $F.tmp $F +done + diff -ruN clients.goldoutput $CLIENTOUT cat $SERVERLOGS/*.log | grep "ERROR" > results/server-errors.txt || true