From df58e7902c757bc693e953dc57e1f2dff5a2957b Mon Sep 17 00:00:00 2001
From: Nate Sesti <sestinj@gmail.com>
Date: Wed, 2 Aug 2023 23:12:25 -0700
Subject: add .exe file extension

---
 extension/src/activation/environmentSetup.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'extension/src/activation/environmentSetup.ts')

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
-- 
cgit v1.2.3-70-g09d2