From e5b7e4f93cb36acba04fa40b7d3ebb790899791c Mon Sep 17 00:00:00 2001
From: Nate Sesti <sestinj@gmail.com>
Date: Wed, 23 Aug 2023 23:18:50 -0700
Subject: don't kill server if not redownload

---
 extension/src/activation/environmentSetup.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'extension/src/activation/environmentSetup.ts')

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;
   }
-- 
cgit v1.2.3-70-g09d2