summaryrefslogtreecommitdiff
path: root/src/session.mli
diff options
context:
space:
mode:
authorDaniil Baturin <daniil@baturin.org>2016-12-15 09:56:07 +0600
committerDaniil Baturin <daniil@baturin.org>2016-12-15 09:56:07 +0600
commit88cca944fa1788d4f3089c9f93c59666bfcce1fb (patch)
tree4fb211c72964405f14b25317268ba67c5d995c61 /src/session.mli
parent6f95f4191699186a14a3109f08822189d0f8331e (diff)
downloadvyconf-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.mli3
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 = {