From 2bdcec738aa2afec1656ddc6d0a57b9a1deae50a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Saulius=20Menkevi=C4=8Dius?= Date: Mon, 20 May 2024 08:04:11 +0300 Subject: [PATCH] fix: add tracing for failed FinishRequest in ServerState --- src/CSharpLanguageServer/State/ServerState.fs | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/src/CSharpLanguageServer/State/ServerState.fs b/src/CSharpLanguageServer/State/ServerState.fs index 9cc88e93..b90da66d 100644 --- a/src/CSharpLanguageServer/State/ServerState.fs +++ b/src/CSharpLanguageServer/State/ServerState.fs @@ -133,7 +133,7 @@ let getDocumentForUriOfType state docType (u: string) = | AnyDocument -> matchingUserDocumentMaybe |> Option.orElse matchingDecompiledDocumentMaybe | None -> None -let processServerEvent logger state postMsg msg: Async = async { +let processServerEvent (logger: ILog) state postMsg msg : Async = async { let showMessage m = match state.LspClient with | Some lspClient -> lspClient.WindowShowMessage( @@ -187,7 +187,12 @@ let processServerEvent logger state postMsg msg: Async = async { postMsg ProcessRequestQueue return newState - | None -> return state + | None -> + logger.debug ( + Log.setMessage "serverEventLoop/FinishRequest#{requestId}: request not found in state.RunningRequests" + >> Log.addContext "requestId" (requestId |> string) + ) + return state | ProcessRequestQueue -> let runningRWRequestMaybe =