diff options
author | Daniil Baturin <daniil@baturin.org> | 2016-12-15 09:56:07 +0600 |
---|---|---|
committer | Daniil Baturin <daniil@baturin.org> | 2016-12-15 09:56:07 +0600 |
commit | 88cca944fa1788d4f3089c9f93c59666bfcce1fb (patch) | |
tree | 4fb211c72964405f14b25317268ba67c5d995c61 /src/session.mli | |
parent | 6f95f4191699186a14a3109f08822189d0f8331e (diff) | |
download | vyconf-88cca944fa1788d4f3089c9f93c59666bfcce1fb.tar.gz vyconf-88cca944fa1788d4f3089c9f93c59666bfcce1fb.zip |
T212: use a directory (normally $program_dir/validators) for external validators.
What's bad is that right now way too many things are aware of the nature of external validators,
and the validators dir (formerly validators hashtable) is passed around a lot.
We'll need to think it through.
Diffstat (limited to 'src/session.mli')
-rw-r--r-- | src/session.mli | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/session.mli b/src/session.mli index 273d434..0180549 100644 --- a/src/session.mli +++ b/src/session.mli @@ -5,7 +5,8 @@ type cfg_op = type world = { mutable running_config: Config_tree.t; reference_tree: Reference_tree.t; - validators: (string, string) Hashtbl.t; + vyconf_config: Vyconf_config.t; + dirs: Directories.t } type session_data = { |