diff options
Diffstat (limited to 'src/session.mli')
| -rw-r--r-- | src/session.mli | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/session.mli b/src/session.mli index cb3f37a..757bc18 100644 --- a/src/session.mli +++ b/src/session.mli @@ -20,6 +20,7 @@ type session_data = { conf_mode: bool; changeset: cfg_op list; mutable aux_changeset: aux_op list; + edit_level: string list; client_app: string; client_pid: int32; client_user: string; @@ -50,6 +51,16 @@ val get_proposed_config : world -> session_data -> Vyos1x.Config_tree.t val discard : world -> session_data -> session_data +val set_edit_level : world -> session_data -> string list -> session_data * string + +val set_edit_level_up : world -> session_data -> session_data * string + +val get_edit_level : world -> session_data -> string + +val reset_edit_level : world -> session_data -> session_data * string + +val edit_level_root : world -> session_data -> bool + val session_changed : world -> session_data -> bool val load : world -> session_data -> string -> bool -> session_data |