From 73d8ec88cdc559746fa8e5d6ce3dea198cff01ef Mon Sep 17 00:00:00 2001 From: John Estabrook Date: Tue, 21 Oct 2025 15:00:05 -0500 Subject: T7910: add request show_sessions to list all session records --- src/session.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/session.ml') diff --git a/src/session.ml b/src/session.ml index 4156b73..4f4f299 100644 --- a/src/session.ml +++ b/src/session.ml @@ -38,7 +38,7 @@ type session_data = { client_pid: int32; client_user: string; client_sudo_user: string; -} +} [@@deriving yojson] let make _world client_app sudo_user user pid = { modified = false; -- cgit v1.2.3