diff options
Diffstat (limited to 'src/session.mli')
| -rw-r--r-- | src/session.mli | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/session.mli b/src/session.mli index a08f873..1750f6c 100644 --- a/src/session.mli +++ b/src/session.mli @@ -69,7 +69,11 @@ val list_children : world -> session_data -> string list -> string list val string_of_op : cfg_op -> string -val prepare_commit : ?dry_run:bool -> world -> Vyos1x.Config_tree.t -> string -> int32 -> string -> string -> Commitd_client.Commit.commit_data +val write_running_cache : world -> (unit, string) result + +val write_session_cache : world -> Vyos1x.Config_tree.t -> (unit, string) result + +val prepare_commit : ?dry_run:bool -> world -> session_data -> Vyos1x.Config_tree.t -> string -> (Commitd_client.Commit.commit_data, string) result val post_process_commit : world -> session_data -> Commitd_client.Commit.commit_data * Vyos1x.Config_tree.t -> Vyos1x.Config_tree.t * Vyos1x.Config_tree.t |