diff options
Diffstat (limited to 'extension')
| -rw-r--r-- | extension/src/activation/environmentSetup.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extension/src/activation/environmentSetup.ts b/extension/src/activation/environmentSetup.ts index a1c4f7ee..20d1df35 100644 --- a/extension/src/activation/environmentSetup.ts +++ b/extension/src/activation/environmentSetup.ts @@ -162,7 +162,7 @@ export async function startContinuePythonServer() { getExtensionUri().fsPath, "server", "exe", - "run" + "run" + (os.platform() === "win32" ? ".exe" : "") ); // First, check if the server is already downloaded |