diff --git a/tools/dashboard b/tools/dashboard index 825b00d9ed..b4af0df6e7 100755 --- a/tools/dashboard +++ b/tools/dashboard @@ -36,7 +36,11 @@ while [ : ]; do sleep 1.0 done - tail -Fn+0 --pid=${pid} "${tcdir}/status" 2>/dev/null + if [ "${THREADCOUNT}" = "0" ]; then + tail -Fn+0 --pid=${pid} "${tcdir}/status" 2>/dev/null | grep -vE "STALLED|IDLE" + else + tail -Fn+0 --pid=${pid} "${tcdir}/status" 2>/dev/null + fi echo done