From a0a14ea1ee38ce78f7433b3a93f7eea61c8163fc Mon Sep 17 00:00:00 2001 From: John Estabrook Date: Wed, 10 Sep 2025 12:50:52 -0500 Subject: T7737: add user and sudo_user fields to session for use in commit Add optional protobuf fields to convey environment variables USER and SUDO_USER, as needed for some config_mode scripts. Add non-option fields to the session record type, defaulting to the empty string. --- src/session.mli | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'src/session.mli') diff --git a/src/session.mli b/src/session.mli index abe5165..5dbbaf0 100644 --- a/src/session.mli +++ b/src/session.mli @@ -15,13 +15,14 @@ type session_data = { conf_mode: bool; changeset: cfg_op list; client_app: string; - user: string; - client_pid: int32 + client_pid: int32; + client_user: string; + client_sudo_user: string; } exception Session_error of string -val make : world -> string -> string -> int32 -> session_data +val make : world -> string -> string -> string -> int32 -> session_data val set_modified : session_data -> session_data -- cgit v1.2.3