From 182487b3c39814564a2b687d30170d42b28915f1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20K=C3=B6stler?= Date: Tue, 31 Mar 2020 18:19:51 +0200 Subject: python: fix document URI creation on Windows (#1183) On Windows, a URI has to begin with file:/// (3 slashes!). Now, the correct implementation from lsp.py is used to create the URIs. --- python/vhdl_langserver/workspace.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'python') diff --git a/python/vhdl_langserver/workspace.py b/python/vhdl_langserver/workspace.py index 2606ced1f..baf18f0ce 100644 --- a/python/vhdl_langserver/workspace.py +++ b/python/vhdl_langserver/workspace.py @@ -78,7 +78,7 @@ class Workspace(object): # Create the document. # Common case: an error message was reported in a non-open document. # Create a document so that it could be reported to the client. - doc_uri = 'file://' + os.path.normpath(abspath) + doc_uri = lsp.path_to_uri(os.path.normpath(abspath)) return self._create_document(doc_uri, sfe) def create_document_from_uri(self, doc_uri, source=None, version=None): -- cgit v1.2.3