Fix a race condition in progress reporting for the F# language server. Ensure that the WorkDoneProgressEnd message is always sent last by moving the endSent flag assignment in FSharpLspClient.fs.
🤖 Generated by Copilot at 46dcebc
endSent too soonA race condition in springFixed by this change
🐛🚀🌐
WHY
HOW
🤖 Generated by Copilot at 46dcebc
Fix a bug where the end message for progress reporting could be sent out of order (link)
WHAT
🤖 Generated by Copilot at 46dcebc
Fix a race condition in progress reporting for the F# language server. Ensure that the
WorkDoneProgressEnd
message is always sent last by moving theendSent
flag assignment inFSharpLspClient.fs
.🤖 Generated by Copilot at 46dcebc
🐛🚀🌐
WHY
HOW
🤖 Generated by Copilot at 46dcebc