diff options
Diffstat (limited to 'pyGHDL/lsp')
| -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) |