diff --git a/basice2e/run.sh b/basice2e/run.sh index 6819d91900c40af4a1404048ccca7b8d26d5781c..b4b74292cf8e7ecd8bfe0109ce84251a65d4e0a9 100755 --- a/basice2e/run.sh +++ b/basice2e/run.sh @@ -191,7 +191,7 @@ diff -ruN results/client-errors.txt noerrors.txt cat $SERVERLOGS/server-*.log | grep "ERROR" | grep -v "context" > results/server-errors.txt || true cat $SERVERLOGS/server-*.log | grep "FATAL" | grep -v "context" | grep -v "database" >> results/server-errors.txt || true diff -ruN results/server-errors.txt noerrors.txt -t $DUMMYOUT | grep "ERROR" | grep -v "context" | grep -v "failed\ to\ read\ certificate" > results/dummy-errors.txt || true +cat $DUMMYOUT | grep "ERROR" | grep -v "context" | grep -v "failed\ to\ read\ certificate" > results/dummy-errors.txt || true cat $DUMMYOUT | grep "FATAL" | grep -v "context" >> results/dummy-errors.txt || true diff -ruN results/dummy-errors.txt noerrors.txt IGNOREMSG="GetRoundBufferInfo: Error received: rpc error: code = Unknown desc = round buffer is empty"