diff options
| author | Nate Sesti <sestinj@gmail.com> | 2023-08-28 14:59:30 -0700 |
|---|---|---|
| committer | Nate Sesti <sestinj@gmail.com> | 2023-08-28 14:59:30 -0700 |
| commit | 29940ea4223194cc32f6324534ad75db9e39305a (patch) | |
| tree | 2fe531979b91b4357b25cdcfc687d05a1d5c2afa /extension/src | |
| parent | 1b2341a0113fadf8c8d23097ef1041d3e3088e84 (diff) | |
| download | sncontinue-29940ea4223194cc32f6324534ad75db9e39305a.tar.gz sncontinue-29940ea4223194cc32f6324534ad75db9e39305a.tar.bz2 sncontinue-29940ea4223194cc32f6324534ad75db9e39305a.zip | |
feat: :sparkles: manually running server option
Diffstat (limited to 'extension/src')
| -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; } |