diff options
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) |