From 88cca944fa1788d4f3089c9f93c59666bfcce1fb Mon Sep 17 00:00:00 2001 From: Daniil Baturin Date: Thu, 15 Dec 2016 09:56:07 +0600 Subject: 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. --- src/session.mli | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/session.mli') 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 = { -- cgit v1.2.3