diff options
Diffstat (limited to 'extension/src/activation/environmentSetup.ts')
-rw-r--r-- | extension/src/activation/environmentSetup.ts | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/extension/src/activation/environmentSetup.ts b/extension/src/activation/environmentSetup.ts index 36fa245f..fe0c8c0b 100644 --- a/extension/src/activation/environmentSetup.ts +++ b/extension/src/activation/environmentSetup.ts @@ -180,11 +180,16 @@ export async function startContinuePythonServer(redownload: boolean = true) { let shouldDownload = true; if (fs.existsSync(destination) && redownload) { // Check if the server is the correct version - const serverVersion = fs.readFileSync(serverVersionPath(), "utf8"); - if (serverVersion === getExtensionVersion()) { - // The current version is already up and running, no need to continue - console.log("Continue server already downloaded"); - shouldDownload = false; + if (fs.existsSync(serverVersionPath())) { + const serverVersion = fs.readFileSync(serverVersionPath(), "utf8"); + if (serverVersion === getExtensionVersion()) { + // The current version is already up and running, no need to continue + console.log("Continue server already downloaded"); + shouldDownload = false; + } else { + console.log("Old version of the server downloaded"); + fs.unlinkSync(destination); + } } else { console.log("Old version of the server downloaded"); fs.unlinkSync(destination); |