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/src | |
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/src')
-rw-r--r-- | extension/src/activation/environmentSetup.ts | 9 |
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 |