From b2d621bb075ccfb73c4662406df2974818744436 Mon Sep 17 00:00:00 2001
From: Nate Sesti <sestinj@gmail.com>
Date: Sun, 9 Jul 2023 13:09:34 -0700
Subject: expand max_tokens for large highlighted ranges
---
extension/src/activation/environmentSetup.ts | 9 ++++++++-
1 file changed, 8 insertions(+), 1 deletion(-)
(limited to 'extension/src')
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
--
cgit v1.2.3-70-g09d2