Skip to content

Commit d92f409

Browse files
authored
Merge pull request #1313 from jwortmann/fix-init
Fix server doesn't initialize
2 parents e04b51c + ba36759 commit d92f409

File tree

1 file changed

+6
-0
lines changed

1 file changed

+6
-0
lines changed

src/requests/init.jl

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -251,6 +251,12 @@ function initialized_notification(params::InitializedParams, server::LanguageSer
251251
file_full_path = joinpath(server.env_path, file)
252252
uri = filepath2uri(file_full_path)
253253
if isfile(file_full_path)
254+
@static if Sys.iswindows()
255+
# Normalize drive letter to lowercase
256+
if length(file_full_path) > 1 && isletter(file_full_path[1]) && file_full_path[2] == ':'
257+
file_full_path = lowercasefirst(file_full_path)
258+
end
259+
end
254260
# Only add again if outside of the workspace folders
255261
if all(i->!startswith(file_full_path, i), server.workspaceFolders)
256262
if haskey(server._files_from_disc, uri)

0 commit comments

Comments
 (0)