diff options
| author | John Estabrook <jestabro@vyos.io> | 2025-12-09 14:29:02 -0600 |
|---|---|---|
| committer | John Estabrook <jestabro@vyos.io> | 2025-12-17 19:03:38 -0600 |
| commit | a2775407f2b69f9e0b5030bcac691463abbede06 (patch) | |
| tree | 7b2872a346be6d1e58456fe9413303437181a48e /src/session.ml | |
| parent | f6c35930530cc72794a3f7c7488422ccb604b7fd (diff) | |
| download | vyconf-a2775407f2b69f9e0b5030bcac691463abbede06.tar.gz vyconf-a2775407f2b69f9e0b5030bcac691463abbede06.zip | |
T8061: add reference_path_exists request
Check whether a given config path has a form compatible with the
reference tree, irrespective of validity of values.
Diffstat (limited to 'src/session.ml')
| -rw-r--r-- | src/session.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/session.ml b/src/session.ml index 478c423..c869a1a 100644 --- a/src/session.ml +++ b/src/session.ml @@ -391,6 +391,9 @@ let config_unsaved w s file id = with Session_error _ -> true (* false positive on unlikely error *) in remove_file tmp_save; res +let reference_path_exists w _s path = + RT.reference_path_exists w.reference_tree path + let write_running_cache w = (* alert exn Internal.write_internal: [Internal.Write_error] caught |