diff options
| author | Maximilian Köstler <maximilian@koestler.hamburg> | 2020-03-31 18:19:51 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-31 18:19:51 +0200 |
| commit | 182487b3c39814564a2b687d30170d42b28915f1 (patch) | |
| tree | b9663a97c2249b7db44a2d29a64041a0e36396ee | |
| parent | 42b91517f46ca9454a8ae3f4014d9eee49c48c4c (diff) | |
| download | ghdl-182487b3c39814564a2b687d30170d42b28915f1.tar.gz ghdl-182487b3c39814564a2b687d30170d42b28915f1.tar.bz2 ghdl-182487b3c39814564a2b687d30170d42b28915f1.zip | |
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.
| -rw-r--r-- | python/vhdl_langserver/workspace.py | 2 |
1 files changed, 1 insertions, 1 deletions
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): |