diff options
Diffstat (limited to 'extension/src/activation')
| -rw-r--r-- | extension/src/activation/environmentSetup.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extension/src/activation/environmentSetup.ts b/extension/src/activation/environmentSetup.ts index 06e5871d..4394eb59 100644 --- a/extension/src/activation/environmentSetup.ts +++ b/extension/src/activation/environmentSetup.ts @@ -170,7 +170,7 @@ export async function startContinuePythonServer(redownload: boolean = true) { } // Check if server is already running - if (await checkOrKillRunningServer(serverUrl)) { + if (redownload && (await checkOrKillRunningServer(serverUrl))) { console.log("Continue server already running"); return; } |