From 37d5865b21a09929f4dbb51e8d6d212e35788e57 Mon Sep 17 00:00:00 2001
From: Pierre GIRAUD <pierre.giraud@dalibo.com>
Date: Fri, 17 Mar 2023 12:16:31 +0100
Subject: [PATCH] Make sure number of workers launched is always displayed

Fixes #578
---
 src/components/PlanNodeDetail.vue | 2 +-
 src/node.ts                       | 3 +++
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/components/PlanNodeDetail.vue b/src/components/PlanNodeDetail.vue
index f5e960c2..c2c91a05 100644
--- 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
index cf535ffd..eb7484dd 100644
--- 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
   })