diff options
author | John Estabrook <jestabro@vyos.io> | 2025-04-03 15:17:00 -0500 |
---|---|---|
committer | John Estabrook <jestabro@vyos.io> | 2025-04-04 12:36:50 -0500 |
commit | f389a749097d2a265d1ce1b757804af70a7199ba (patch) | |
tree | f80ebb339f34b1547d3f24b62f485b8a6a9114ad /src | |
parent | 0fb5e2f781725196ae010cf64e4d185a8f5ce721 (diff) | |
download | vyconf-f389a749097d2a265d1ce1b757804af70a7199ba.tar.gz vyconf-f389a749097d2a265d1ce1b757804af70a7199ba.zip |
T7302: remove unused commit_store
Diffstat (limited to 'src')
-rw-r--r-- | src/commit.ml | 12 | ||||
-rw-r--r-- | src/commit.mli | 2 |
2 files changed, 0 insertions, 14 deletions
diff --git a/src/commit.ml b/src/commit.ml index ba740b5..a735697 100644 --- a/src/commit.ml +++ b/src/commit.ml @@ -169,18 +169,6 @@ let calculate_priority_lists rt diff = let cs_del, cs_add = legacy_order del_tree cs_del' cs_add' in List.rev (CS.elements cs_del), CS.elements cs_add -let commit_store c_data = - let out = - let func acc nd = - match nd.reply with - | None -> acc ^ "\n" - | Some r -> - match r.success with - | true -> acc ^ "\n" - | false -> acc ^ "\n" ^ r.out - in List.fold_left func "" c_data.node_list - in print_endline out - (* The base config_result is the intersection of running and proposed configs: on success, added paths are added; deleted paths are ignored diff --git a/src/commit.mli b/src/commit.mli index 12ad084..697c5fd 100644 --- a/src/commit.mli +++ b/src/commit.mli @@ -40,5 +40,3 @@ val make_commit_data : Vyos1x.Reference_tree.t -> Vyos1x.Config_tree.t -> Vyos1x val calculate_priority_lists : Vyos1x.Reference_tree.t -> Vyos1x.Config_tree.t -> node_data list * node_data list val commit_update : commit_data -> commit_data - -val commit_store : commit_data -> unit |