From 1f99a4f18f178a9713894a52437b7d571c67f1f4 Mon Sep 17 00:00:00 2001 From: Don Jayamanne Date: Thu, 22 Jun 2023 10:24:10 +1000 Subject: [PATCH] Fixes to restoring kernel exec (#13746) --- src/kernels/kernelInfo.ts | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/kernels/kernelInfo.ts b/src/kernels/kernelInfo.ts index 7235c889d81..5ee322b92b4 100644 --- a/src/kernels/kernelInfo.ts +++ b/src/kernels/kernelInfo.ts @@ -39,7 +39,10 @@ export async function getKernelInfo( return; } if (session.kernel?.info) { - return session.kernel.info; + promises.push(session.kernel.info); + session.kernel.info + .then((content) => cacheKernelInfo(workspaceMemento, kernelConnectionMetadata, content)) + .catch(noop); } // KernelMessage.IReplyErrorContent | KernelMessage.IReplyAbortContent | KernelMessage.IInfoReply | undefined