[ change ] Only treat URLs with the "lsp:" protocol as URLs, otherwis…

…e as filepaths
banacorn · Feb 19, 2025 · 03859f0 · 03859f0
1 parent 8e186e5
commit 03859f0
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 2 deletions.
diff --git a/lib/js/src/Connection/Connection__URI.bs.js b/lib/js/src/Connection/Connection__URI.bs.js
diff --git a/src/Connection/Connection__URI.res b/src/Connection/Connection__URI.res
@@ -7,6 +7,17 @@ let parse = async path => {
   let result = try Some(NodeJs.Url.make(path)) catch {
   | _ => None
   }
+  // single out the URL with the protocol "lsp:"
+  let result = switch result {
+  | Some(url) =>
+    if url.protocol == "lsp:" {
+      Some(url)
+    } else {
+      None
+    }
+  | None => None
+  }
+  // only treat URLs with the protocol "lsp:" as URLs
   switch result {
   | Some(url) => URL(url)
   | None =>