diff --git a/editors/code/src/main.ts b/editors/code/src/main.ts index 83d0bdf124..282240d845 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) {