From 4b568f8815ca7c119e62d899c13e79ca724cfce6 Mon Sep 17 00:00:00 2001
From: MilhouseVH <milhouseVH.github@nmacleod.com>
Date: Thu, 8 Aug 2019 21:53:27 +0100
Subject: [PATCH] tools/dashboard: support THREADCOUNT=0

---
 tools/dashboard | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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