Unnamed repository; edit this file 'description' to name the repository.
| -rw-r--r-- | editors/code/src/main.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/code/src/main.ts b/editors/code/src/main.ts index df7580b9bc..3f9f0b3376 100644 --- a/editors/code/src/main.ts +++ b/editors/code/src/main.ts @@ -243,8 +243,8 @@ async function getServer(context: vscode.ExtensionContext, config: Config, state if (!exists) { await vscode.workspace.fs.copy(bundled, dest); await patchelf(dest); - server = dest; } + server = dest; } await state.updateServerVersion(config.package.version); return server.fsPath; |