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.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/session.mli') diff --git a/src/session.mli b/src/session.mli index ea838c9..ebe67b3 100644 --- a/src/session.mli +++ b/src/session.mli @@ -24,7 +24,7 @@ type session_data = { client_pid: int32; client_user: string; client_sudo_user: string; -} +} [@@deriving yojson] exception Session_error of string -- cgit v1.2.3