Skip to content

Commit eddcb92

Browse files
authored
Merge pull request #1049 from fredrikekre/fe/debug-message
Print a debug message for unsupported request
2 parents 37068f0 + b611a32 commit eddcb92

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

src/requests/workspace.jl

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -68,6 +68,10 @@ function workspace_didChangeWatchedFiles_notification(params::DidChangeWatchedFi
6868
end
6969

7070
function workspace_didChangeConfiguration_notification(params::DidChangeConfigurationParams, server::LanguageServerInstance, conn)
71+
if !server.clientcapability_workspace_didChangeConfiguration
72+
@debug "Client sent a `workspace/didChangeConfiguration` request despite claiming no support for it. " *
73+
"The request will be handled regardless, but this behavior can be reported to the client."
74+
end
7175
request_julia_config(server, conn)
7276
end
7377

0 commit comments

Comments
 (0)