diff options
| author | John Estabrook <jestabro@vyos.io> | 2025-08-11 11:10:34 -0500 |
|---|---|---|
| committer | John Estabrook <jestabro@vyos.io> | 2025-08-13 15:39:18 -0500 |
| commit | 5275acdb005dfb2fb842b340f56c815133fa7fe8 (patch) | |
| tree | aa781a9e8b12ab67dcdd05aad4e2d8f28b756a92 /src/session.ml | |
| parent | 29e73893a0fc942a96abc06dfa037afd71778d27 (diff) | |
| download | vyconf-5275acdb005dfb2fb842b340f56c815133fa7fe8.tar.gz vyconf-5275acdb005dfb2fb842b340f56c815133fa7fe8.zip | |
T7718: use revised validate_tree
Diffstat (limited to 'src/session.ml')
| -rw-r--r-- | src/session.ml | 13 |
1 files changed, 2 insertions, 11 deletions
diff --git a/src/session.ml b/src/session.ml index 5cd5027..375ec43 100644 --- a/src/session.ml +++ b/src/session.ml @@ -75,17 +75,8 @@ let validate w _s path = RT.validate_path D.(w.dirs.validators) w.reference_tree path with RT.Validation_error x -> raise (Session_error x) -let validate_tree w' t = - let validate_path w out path = - let res = - try - RT.validate_path D.(w.dirs.validators) w.reference_tree path; - out - with RT.Validation_error x -> out ^ x - in res - in - let paths = CT.value_paths_of_tree t in - let out = List.fold_left (validate_path w') "" paths in +let validate_tree w t = + let out = RT.validate_tree D.(w.dirs.validators) w.reference_tree t in match out with | "" -> () | _ -> raise (Session_error out) |