simon/linol
1
0
Fork 0
mirror of https://github.com/c-cube/linol.git synced 2025-12-05 19:00:34 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Add on_req_shutdown

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2024-07-22 16:28:56 +01:00
parent 267aa35650
commit d37d611bd0
No known key found for this signature in database
GPG key ID: 50B5FDA31455CFF3
1 changed files with 12 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
src/server.ml
View file

@ -325,7 +325,12 @@ module Make (IO : IO) = struct
: Lsp.Types.InlayHint.t list option IO.t =
IO.return None
(** Provide inlay hints for this document.
@since 0.5 *)
@since 0.5 *)
method on_req_shutdown ~notify_back:(_ : notify_back) ~id:_ : unit IO.t =
IO.return ()
(** Process a shutdown request.
@since 0.7 *)
method on_request : type r.
notify_back:_ ->
@ -342,8 +347,13 @@ module Make (IO : IO) = struct
match r with
| Lsp.Client_request.Shutdown ->
Log.info (fun k -> k "shutdown");
let notify_back =
new notify_back
~workDoneToken:None ~partialResultToken:None ~notify_back
~server_request ()
in
status <- `ReceivedShutdown;
IO.return ()
self#on_req_shutdown ~notify_back ~id
| Lsp.Client_request.Initialize i ->
Log.debug (fun k -> k "req: initialize");
let notify_back =