diff --git a/editors/code/src/main.ts b/editors/code/src/main.ts index 4b2d3c8a557..e7d184cb39a 100644 --- a/editors/code/src/main.ts +++ b/editors/code/src/main.ts @@ -287,12 +287,14 @@ async function getServer(config: Config, state: PersistentState): Promise true, () => false); if (!exists) {