diff options
| author | Tristan Gingold <tgingold@free.fr> | 2021-01-20 20:48:42 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2021-01-20 20:48:42 +0100 |
| commit | 20c5d3b2ef15833d6f01eefc5b2b2a89736c1538 (patch) | |
| tree | 7e60a77809855b910419ae20dee824af19e3bada /pyGHDL | |
| parent | 4f484625f9587d2f12a6e2f8ed9cac2fff467183 (diff) | |
| download | ghdl-20c5d3b2ef15833d6f01eefc5b2b2a89736c1538.tar.gz ghdl-20c5d3b2ef15833d6f01eefc5b2b2a89736c1538.tar.bz2 ghdl-20c5d3b2ef15833d6f01eefc5b2b2a89736c1538.zip | |
LanguageServer: quote URI, adjust lsp.py (for Windows)
URI on windows have the colon character (':') quoted.
Diffstat (limited to 'pyGHDL')
| -rw-r--r-- | pyGHDL/lsp/lsp.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/pyGHDL/lsp/lsp.py b/pyGHDL/lsp/lsp.py index 1806db8d8..7d869d484 100644 --- a/pyGHDL/lsp/lsp.py +++ b/pyGHDL/lsp/lsp.py @@ -47,8 +47,7 @@ def path_from_uri(uri): def path_to_uri(path): # Convert path to file uri (add html like head part) if is_windows: - # Do not quote ':' (nor '/'). - return "file:///" + quote(path.replace("\\", "/"), "/:") + return "file:///" + quote(path.replace("\\", "/")) else: return "file://" + quote(path) |