diff options
Diffstat (limited to 'extension/src/activation')
| -rw-r--r-- | extension/src/activation/environmentSetup.ts | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/extension/src/activation/environmentSetup.ts b/extension/src/activation/environmentSetup.ts index e45df05e..f64f13bf 100644 --- a/extension/src/activation/environmentSetup.ts +++ b/extension/src/activation/environmentSetup.ts @@ -146,7 +146,7 @@ export async function downloadFromS3( } } -export async function startContinuePythonServer() { +export async function startContinuePythonServer(redownload: boolean = true) { // Check vscode settings const serverUrl = getContinueServerUrl(); if (serverUrl !== "http://localhost:65432") { @@ -191,7 +191,7 @@ export async function startContinuePythonServer() { } } - if (shouldDownload) { + if (shouldDownload && redownload) { await vscode.window.withProgress( { location: vscode.ProgressLocation.Notification, |