diff options
| author | Nate Sesti <sestinj@gmail.com> | 2023-08-23 23:18:50 -0700 |
|---|---|---|
| committer | Nate Sesti <sestinj@gmail.com> | 2023-08-23 23:18:50 -0700 |
| commit | e5b7e4f93cb36acba04fa40b7d3ebb790899791c (patch) | |
| tree | 1a82bbfde09e208a182c5f0fa49aa4c3a2598d6a /extension/src/activation | |
| parent | f9c145c9667e0cd9adb7f9b645f7abf12f7cf2a2 (diff) | |
| download | sncontinue-e5b7e4f93cb36acba04fa40b7d3ebb790899791c.tar.gz sncontinue-e5b7e4f93cb36acba04fa40b7d3ebb790899791c.tar.bz2 sncontinue-e5b7e4f93cb36acba04fa40b7d3ebb790899791c.zip | |
don't kill server if not redownload
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; } |