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.ml | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'src/session.ml') diff --git a/src/session.ml b/src/session.ml index 5efc9f5..23c3d19 100644 --- a/src/session.ml +++ b/src/session.ml @@ -26,17 +26,19 @@ type session_data = { conf_mode: bool; changeset: cfg_op list; client_app: string; - user: string; client_pid: int32; + client_user: string; + client_sudo_user: string; } -let make world client_app user pid = { +let make world client_app sudo_user user pid = { proposed_config = world.running_config; modified = false; conf_mode = false; changeset = []; client_app = client_app; - user = user; + client_user = user; + client_sudo_user = sudo_user; client_pid = pid; } -- cgit v1.2.3