Clear kernel ID if disposed

davidbrochart · Dec 12, 2022 · 77a67e2 · 77a67e2
1 parent 4970166
commit 77a67e2
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/widget.tsx b/src/widget.tsx
@@ -92,6 +92,9 @@ const KernelUsage = (props: {
           const path = panel?.sessionContext.session?.model.path;
           setPath(path);
           requestUsage(newKernelId).then(usage => setUsage(usage));
+        } else {
+          // Kernel was disposed
+          setKernelId(newKernelId);
         }
       };
     };