Make sure number of workers launched is always displayed

Fixes #578
dalibo · Mar 20, 2023 · 37d5865 · 37d5865
1 parent 2a21eac
commit 37d5865
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/src/components/PlanNodeDetail.vue b/src/components/PlanNodeDetail.vue
@@ -527,7 +527,7 @@ watch(activeTab, () => {
       </div>
       <div>
         <b>Workers launched: </b>
-        <span class="px-1">{{ node[NodeProp.WORKERS_LAUNCHED] }}</span>
+        <span class="px-1">{{ workersLaunchedCount }}</span>
       </div>
       <div
         v-if="!workersLaunchedCount && node[NodeProp.WORKERS_PLANNED_BY_GATHER]"

diff --git a/src/node.ts b/src/node.ts
@@ -231,6 +231,9 @@ export default function useNode(
 
   const workersLaunchedCount = computed((): number => {
     console.warn("Make sure it works for workers that are not array")
+    if (node[NodeProp.WORKERS_LAUNCHED]) {
+      return node[NodeProp.WORKERS_LAUNCHED] as number
+    }
     const workers = node[NodeProp.WORKERS] as Worker[]
     return workers ? workers.length : NaN
   })