diff options
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  | 
