diff options
| author | Nate Sesti <sestinj@gmail.com> | 2023-07-09 13:09:34 -0700 |
|---|---|---|
| committer | Nate Sesti <sestinj@gmail.com> | 2023-07-09 13:09:34 -0700 |
| commit | d342c55ed2b8b229ccd40cc45f7af05cb73e7ad0 (patch) | |
| tree | e6544293df50c9d0d7a17acc8f0ecbc0f7062b46 /extension | |
| parent | b7fa77ce5920216e55e2e185ee66c57f879a48e1 (diff) | |
| download | sncontinue-d342c55ed2b8b229ccd40cc45f7af05cb73e7ad0.tar.gz sncontinue-d342c55ed2b8b229ccd40cc45f7af05cb73e7ad0.tar.bz2 sncontinue-d342c55ed2b8b229ccd40cc45f7af05cb73e7ad0.zip | |
expand max_tokens for large highlighted ranges
Diffstat (limited to 'extension')
| -rw-r--r-- | extension/package-lock.json | 4 | ||||
| -rw-r--r-- | extension/package.json | 2 | ||||
| -rw-r--r-- | extension/src/activation/environmentSetup.ts | 9 |
3 files changed, 11 insertions, 4 deletions
diff --git a/extension/package-lock.json b/extension/package-lock.json index 3c0d6e3e..22f8b492 100644 --- a/extension/package-lock.json +++ b/extension/package-lock.json @@ -1,12 +1,12 @@ { "name": "continue", - "version": "0.0.139", + "version": "0.0.141", "lockfileVersion": 2, "requires": true, "packages": { "": { "name": "continue", - "version": "0.0.139", + "version": "0.0.141", "license": "Apache-2.0", "dependencies": { "@electron/rebuild": "^3.2.10", diff --git a/extension/package.json b/extension/package.json index e1de3b73..beb675b3 100644 --- a/extension/package.json +++ b/extension/package.json @@ -14,7 +14,7 @@ "displayName": "Continue", "pricing": "Free", "description": "The open-source coding autopilot", - "version": "0.0.139", + "version": "0.0.141", "publisher": "Continue", "engines": { "vscode": "^1.67.0" diff --git a/extension/src/activation/environmentSetup.ts b/extension/src/activation/environmentSetup.ts index 90ec9259..714080e3 100644 --- a/extension/src/activation/environmentSetup.ts +++ b/extension/src/activation/environmentSetup.ts @@ -324,7 +324,14 @@ export async function startContinuePythonServer() { } } console.log("Killing old server..."); - await fkill(":65432"); + try { + await fkill(":65432"); + } catch (e) { + console.log( + "Failed to kill old server, likely because it didn't exist:", + e + ); + } } // Do this after above check so we don't have to waste time setting up the env |