From d3bfe96d0fef10757aa7946a422b63b556c2e1c0 Mon Sep 17 00:00:00 2001
From: Connor Clark <cjamcl@gmail.com>
Date: Sun, 6 Aug 2023 11:38:20 -0700
Subject: [PATCH] fix(vscode): handle non-windows paths

---
 vscode-extension/server/src/server.ts | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/vscode-extension/server/src/server.ts b/vscode-extension/server/src/server.ts
index 797ebb9579..6eae335bdb 100644
--- a/vscode-extension/server/src/server.ts
+++ b/vscode-extension/server/src/server.ts
@@ -142,8 +142,11 @@ documents.onDidChangeContent(change => {
 
 let globalTmpDir = '';
 
+// TODO: this should not be necessary. Get path in better OS-agnostic way.
 function cleanupFile(fname:string)
 {
+	if (os.platform() !== 'win32')
+		return fname.trim();
 	return fname.replace(/\//g, '\\').trim();
 }
 function fileMatches(f1:string, f2:string)