diff options
| author | Daniil Baturin <daniil@baturin.org> | 2024-09-27 14:22:46 +0100 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2024-09-27 14:22:46 +0100 |
| commit | a5dc759c309347e16e63fb618c0093f53083ef86 (patch) | |
| tree | 1901eb2c8ffefa0e1dc4db6b869eb54a23f15019 /src | |
| parent | fefb8c1f42618a256224d5d7f33db3c33dd49a8a (diff) | |
| download | vyos1x-config-a5dc759c309347e16e63fb618c0093f53083ef86.tar.gz vyos1x-config-a5dc759c309347e16e63fb618c0093f53083ef86.zip | |
renderer: T6742: force leaf=true in all functions that manipulate node values
Diffstat (limited to 'src')
| -rw-r--r-- | src/config_tree.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/config_tree.ml b/src/config_tree.ml index 3e3a598..b725f2d 100644 --- a/src/config_tree.ml +++ b/src/config_tree.ml @@ -41,12 +41,12 @@ let add_value node path value = | Some _ -> raise Duplicate_value | None -> let values = values @ [value] in - Vytree.update node path ({data with values=values}) + Vytree.update node path ({data with values=values; leaf=true}) let delete_value node path value = let data = Vytree.data_of_node @@ Vytree.get node path in let values = Vylist.remove (fun x -> x = value) data.values in - Vytree.update node path {data with values=values} + Vytree.update node path {data with values=values; leaf=true} let set_value node path value behaviour = match behaviour with |
