Workaround file URI matching issue for now

See https://github.com/krassowski/jupyterlab-lsp/issues/595

Author: krassowski

python_packages/jupyter_lsp/jupyter_lsp/tests/test_virtual_documents_shadow.py

@@ -6,6 +6,7 @@
 from ..virtual_documents_shadow import (
     EditableFile,
     ShadowFilesystemError,
+    _strip_file_protocol_prefix,
     extract_or_none,
     setup_shadow_filesystem,
 )
@@ -111,6 +112,12 @@ async def test_shadow(shadow_path, message_func, content, expected_content):
         assert f.read() == expected_content
 
 
+def test_strip_file_prefix():
+    assert _strip_file_protocol_prefix("file:///test") == "test"
+    assert _strip_file_protocol_prefix("file://test") == "test"
+    assert _strip_file_protocol_prefix("http://test") == "http://test"
+
+
 @pytest.mark.asyncio
 async def test_shadow_failures(shadow_path):
 

python_packages/jupyter_lsp/jupyter_lsp/virtual_documents_shadow.py

@@ -101,6 +101,15 @@ class ShadowFilesystemError(ValueError):
     """Error in the shadow file system."""
 
 
+# TODO: remove once https://github.com/unshiftio/url-parse/pull/204 gets merged and released
+def _strip_file_protocol_prefix(uri):
+    if uri.startswith("file:///"):
+        return uri[8:]
+    if uri.startswith("file://"):
+        return uri[7:]
+    return uri
+
+
 def setup_shadow_filesystem(virtual_documents_uri):
 
     if not virtual_documents_uri.startswith("file:/"):
@@ -117,6 +126,8 @@ def setup_shadow_filesystem(virtual_documents_uri):
     # create again
     shadow_filesystem.mkdir(parents=True, exist_ok=True)
 
+    stripped_virtual_documents_uri = _strip_file_protocol_prefix(virtual_documents_uri)
+
     @lsp_message_listener("client")
     async def shadow_virtual_documents(scope, message, language_server, manager):
         """Intercept a message with document contents creating a shadow file for it.
@@ -138,7 +149,9 @@ async def shadow_virtual_documents(scope, message, language_server, manager):
         if not uri:
             raise ShadowFilesystemError("Could not get URI from: {}".format(message))
 
-        if not uri.startswith(virtual_documents_uri):
+        if not _strip_file_protocol_prefix(uri).startswith(
+            stripped_virtual_documents_uri
+        ):
             return
 
         path = file_uri_to_path(uri)