summaryrefslogtreecommitdiff
path: root/extension/src
diff options
context:
space:
mode:
authorNate Sesti <sestinj@gmail.com>2023-07-09 13:09:34 -0700
committerNate Sesti <sestinj@gmail.com>2023-07-09 13:09:34 -0700
commitd342c55ed2b8b229ccd40cc45f7af05cb73e7ad0 (patch)
treee6544293df50c9d0d7a17acc8f0ecbc0f7062b46 /extension/src
parentb7fa77ce5920216e55e2e185ee66c57f879a48e1 (diff)
downloadsncontinue-d342c55ed2b8b229ccd40cc45f7af05cb73e7ad0.tar.gz
sncontinue-d342c55ed2b8b229ccd40cc45f7af05cb73e7ad0.tar.bz2
sncontinue-d342c55ed2b8b229ccd40cc45f7af05cb73e7ad0.zip
expand max_tokens for large highlighted ranges
Diffstat (limited to 'extension/src')
-rw-r--r--extension/src/activation/environmentSetup.ts9
1 files changed, 8 insertions, 1 deletions
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