From 4d9ceccffb799248d3da08540738b7b598673673 Mon Sep 17 00:00:00 2001 From: David Brochart Date: Tue, 9 Apr 2024 09:23:02 +0200 Subject: [PATCH] again --- packages/collaboration-extension/src/collaboration.ts | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/packages/collaboration-extension/src/collaboration.ts b/packages/collaboration-extension/src/collaboration.ts index 10935130..6fc16d5b 100644 --- a/packages/collaboration-extension/src/collaboration.ts +++ b/packages/collaboration-extension/src/collaboration.ts @@ -223,7 +223,7 @@ async function runCellServerSide({ cell.inputHidden = false; onCellExecuted({ cell, success: true }); break; - case 'code': + case 'code': { const kernelId = sessionContext?.session?.kernel?.id; const settings = ServerConnection.makeSettings(); const apiURL = URLExt.join( @@ -245,6 +245,7 @@ async function runCellServerSide({ throw new ServerConnection.NetworkError(error); } break; + } default: break; }