diff options
Diffstat (limited to 'extension/src/activation')
-rw-r--r-- | extension/src/activation/environmentSetup.ts | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/extension/src/activation/environmentSetup.ts b/extension/src/activation/environmentSetup.ts index 6b434756..7ca87768 100644 --- a/extension/src/activation/environmentSetup.ts +++ b/extension/src/activation/environmentSetup.ts @@ -186,8 +186,12 @@ export async function downloadFromS3( export async function startContinuePythonServer(redownload: boolean = true) { // Check vscode settings + const manuallyRunningServer = + vscode.workspace + .getConfiguration("continue") + .get<boolean>("manuallyRunningServer") || false; const serverUrl = getContinueServerUrl(); - if (serverUrl !== "http://localhost:65432") { + if (serverUrl !== "http://localhost:65432" || manuallyRunningServer) { console.log("Continue server is being run manually, skipping start"); return; } |