diff options
Diffstat (limited to 'extension')
| -rw-r--r-- | extension/package.json | 5 | ||||
| -rw-r--r-- | extension/src/activation/environmentSetup.ts | 6 |
2 files changed, 10 insertions, 1 deletions
diff --git a/extension/package.json b/extension/package.json index 85c6e275..d933213f 100644 --- a/extension/package.json +++ b/extension/package.json @@ -52,6 +52,11 @@ "type": "string", "default": "http://localhost:65432", "description": "The URL of the Continue server. Only change this if you are running the server manually. If you want to use an LLM hosted at a custom URL, please see https://continue.dev/docs/customization#change-the-default-llm. All other configuration is done in `~/.continue/config.py`, which you can access by using the '/config' slash command." + }, + "continue.manuallyRunningServer": { + "type": "boolean", + "default": false, + "description": "If you are manually running the Continue server, you should update the Server URL and check this box. This will stop Continue from attempting to remove your server and download a new version." } } }, 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; } |