Update return from on_req_shutdown

This commit is contained in:
Christoph M. Wintersteiger 2024-07-30 16:42:39 +01:00
parent e99d0d6cc4
commit f2e3c4b369
No known key found for this signature in database
GPG key ID: 50B5FDA31455CFF3

View file

@ -372,7 +372,7 @@ module Make (IO : IO) = struct
~server_request ()
in
status <- `ReceivedShutdown;
self#on_req_shutdown ~notify_back ~id
lift_ok @@ self#on_req_shutdown ~notify_back ~id
| Lsp.Client_request.Initialize i ->
Log.debug (fun k -> k "req: initialize");
let notify_back =