diff options
Diffstat (limited to 'extension/src/activation')
| -rw-r--r-- | extension/src/activation/activate.ts | 5 | ||||
| -rw-r--r-- | extension/src/activation/environmentSetup.ts | 9 |
2 files changed, 5 insertions, 9 deletions
diff --git a/extension/src/activation/activate.ts b/extension/src/activation/activate.ts index c46d6362..fe72eaf6 100644 --- a/extension/src/activation/activate.ts +++ b/extension/src/activation/activate.ts @@ -21,10 +21,7 @@ export let extensionContext: vscode.ExtensionContext | undefined = undefined; export let ideProtocolClient: IdeProtocolClient; -export async function activateExtension( - context: vscode.ExtensionContext, - showTutorial: boolean -) { +export async function activateExtension(context: vscode.ExtensionContext) { extensionContext = context; // Before anything else, check whether this is an out-of-date version of the extension diff --git a/extension/src/activation/environmentSetup.ts b/extension/src/activation/environmentSetup.ts index c277a539..7bd08929 100644 --- a/extension/src/activation/environmentSetup.ts +++ b/extension/src/activation/environmentSetup.ts @@ -380,11 +380,10 @@ export async function startContinuePythonServer() { console.log("Killing old server..."); try { await fkill(":65432"); - } catch (e) { - console.log( - "Failed to kill old server, likely because it didn't exist:", - e - ); + } catch (e: any) { + if (!e.message.includes("Process doesn't exist")) { + console.log("Failed to kill old server:", e); + } } // Do this after above check so we don't have to waste time setting up the env |