Skip to content

Commit

Permalink
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
fix type of resolved_path
Browse files Browse the repository at this point in the history
DetachHead authored Dec 13, 2024

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
1 parent 7fd409c commit 5befab3
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion bundled/tool/lsp_server.py
Original file line number Diff line number Diff line change
@@ -737,7 +737,7 @@ def _run_tool_on_document(

# pygls normalizes the path to lowercase on windows, but we need to resolve the
# correct capitalization to avoid https://github.com/pylint-dev/pylint/issues/10137
resolved_path = pathlib.Path(document.path).resolve()
resolved_path = str(pathlib.Path(document.path).resolve())

if use_stdin:
argv += ["--from-stdin", resolved_path]

0 comments on commit 5befab3

Please sign in to comment.