Skip to content

Commit e4e58f0

Browse files
committed
Fix server doesn't initialize
1 parent e04b51c commit e4e58f0

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

src/requests/init.jl

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -251,8 +251,10 @@ 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+
# TODO properly normalize drive letters in paths
255+
file_full_path_lowerfirst = lowercasefirst(file_full_path)
254256
# Only add again if outside of the workspace folders
255-
if all(i->!startswith(file_full_path, i), server.workspaceFolders)
257+
if all(i->!startswith(file_full_path_lowerfirst, i), server.workspaceFolders)
256258
if haskey(server._files_from_disc, uri)
257259
error("This should not happen")
258260
end

0 commit comments

Comments
 (0)