From bb92d7d73b721f8faf55b3518df5b4bc93250a4d Mon Sep 17 00:00:00 2001 From: Anton Sorokin Date: Tue, 8 Aug 2023 17:36:32 +0300 Subject: [PATCH] [#24] Expose get_uri for notify_back Problem: As in #24, it's impossible to extract `uri` variable from `notify_back`, but sometimes we want to do this Solution: Add `method get_uri = uri` to notify_back --- src/server.ml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/server.ml b/src/server.ml index 1e8ec4bc..cb20f4b0 100644 --- a/src/server.ml +++ b/src/server.ml @@ -80,6 +80,7 @@ module Make (IO : IO) = struct object val mutable uri = uri method set_uri u = uri <- Some u + method get_uri = uri method send_log_msg ~type_ msg : unit IO.t = let params = LogMessageParams.create ~type_ ~message:msg in @@ -162,6 +163,7 @@ module Make (IO : IO) = struct `Running val docs : (DocumentUri.t, doc_state) Hashtbl.t = Hashtbl.create 16 + method get_status = status (** Check if exit or shutdown request was made by the client. @since NEXT_RELEASE *)