diff options
| author | John Estabrook <jestabro@vyos.io> | 2025-09-10 12:50:52 -0500 |
|---|---|---|
| committer | John Estabrook <jestabro@vyos.io> | 2025-09-10 14:13:47 -0500 |
| commit | a0a14ea1ee38ce78f7433b3a93f7eea61c8163fc (patch) | |
| tree | 01f9d3e2b76d35ee2b459f14f5e2ffff96e7833f /src/session.mli | |
| parent | 19d7e20f5cb7786f87e04a334e19415f18af6562 (diff) | |
| download | vyconf-a0a14ea1ee38ce78f7433b3a93f7eea61c8163fc.tar.gz vyconf-a0a14ea1ee38ce78f7433b3a93f7eea61c8163fc.zip | |
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.
Diffstat (limited to 'src/session.mli')
| -rw-r--r-- | src/session.mli | 7 |
1 files changed, 4 insertions, 3 deletions
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 |