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/commit.ml | |
parent | 0fb5e2f781725196ae010cf64e4d185a8f5ce721 (diff) | |
download | vyconf-f389a749097d2a265d1ce1b757804af70a7199ba.tar.gz vyconf-f389a749097d2a265d1ce1b757804af70a7199ba.zip |
T7302: remove unused commit_store
Diffstat (limited to 'src/commit.ml')
-rw-r--r-- | src/commit.ml | 12 |
1 files changed, 0 insertions, 12 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 |