diff options
| author | Tristan Gingold <tgingold@free.fr> | 2021-01-20 08:19:30 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2021-01-20 08:19:30 +0100 |
| commit | 9514cc453c40b6d17c5175fb8fe701d0662444b1 (patch) | |
| tree | 564aef5db1bb8ba112ac621c531d64db5f4bc343 /pyGHDL | |
| parent | 027006fa23595efe8eb8dd5ed3a8ffef8a9fb7fc (diff) | |
| download | ghdl-9514cc453c40b6d17c5175fb8fe701d0662444b1.tar.gz ghdl-9514cc453c40b6d17c5175fb8fe701d0662444b1.tar.bz2 ghdl-9514cc453c40b6d17c5175fb8fe701d0662444b1.zip | |
pyGHDL/lsp: adjust quoting for Windows
Diffstat (limited to 'pyGHDL')
| -rw-r--r-- | pyGHDL/lsp/lsp.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pyGHDL/lsp/lsp.py b/pyGHDL/lsp/lsp.py index b3d413e4c..79ab39ce8 100644 --- a/pyGHDL/lsp/lsp.py +++ b/pyGHDL/lsp/lsp.py @@ -50,7 +50,8 @@ def path_from_uri(uri): def path_to_uri(path): # Convert path to file uri (add html like head part) if is_windows: - return "file:///" + quote(path.replace("\\", "/")) + # Do not quote ':' (nor '/'). + return "file:///" + quote(path.replace("\\", "/"), "/:") else: return "file://" + quote(path) |