diff options
| author | Daniil Baturin <daniil@baturin.org> | 2025-01-20 19:15:10 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-01-20 19:15:10 +0000 |
| commit | a375860a302a224722d254c31a1cb210cb12d972 (patch) | |
| tree | 96217a1eaf38c910e183c30f2adab865b409e916 /src/vyconf_config.ml | |
| parent | 5ae7f4150091efb66c6f9946df81adde3ddc6ace (diff) | |
| parent | 5cb1952f52a8a67905a9361364a0c0823d44ed03 (diff) | |
| download | vyconf-a375860a302a224722d254c31a1cb210cb12d972.tar.gz vyconf-a375860a302a224722d254c31a1cb210cb12d972.zip | |
Merge pull request #13 from jestabro/mutable-world
T7046: T6946: add ability to reload reference tree at runtime
Diffstat (limited to 'src/vyconf_config.ml')
| -rw-r--r-- | src/vyconf_config.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/vyconf_config.ml b/src/vyconf_config.ml index 2640c9b..bef607f 100644 --- a/src/vyconf_config.ml +++ b/src/vyconf_config.ml @@ -5,6 +5,7 @@ type t = { data_dir: string; program_dir: string; config_dir: string; + reftree_dir: string; primary_config: string; fallback_config: string; reference_tree: string; @@ -22,6 +23,7 @@ let empty_config = { data_dir = ""; program_dir = ""; config_dir = ""; + reftree_dir = ""; primary_config = ""; fallback_config = ""; reference_tree = ""; @@ -60,6 +62,7 @@ let load filename = let conf = {conf with app_name = mandatory_field conf_toml "appliance" "name"} in let conf = {conf with data_dir = mandatory_field conf_toml "appliance" "data_dir"} in let conf = {conf with config_dir = mandatory_field conf_toml "appliance" "config_dir"} in + let conf = {conf with reftree_dir = mandatory_field conf_toml "appliance" "reftree_dir"} in let conf = {conf with program_dir = mandatory_field conf_toml "appliance" "program_dir"} in let conf = {conf with primary_config = mandatory_field conf_toml "appliance" "primary_config"} in let conf = {conf with fallback_config = mandatory_field conf_toml "appliance" "fallback_config"} in |