summaryrefslogtreecommitdiff
path: root/src/session.mli
diff options
context:
space:
mode:
authorDaniil Baturin <daniil@baturin.org>2017-01-19 23:49:04 +0700
committerDaniil Baturin <daniil@baturin.org>2017-01-19 23:49:04 +0700
commit78067dab4b3adc5e3b0e95105bed3f2339371c93 (patch)
treec59ad42d381c40445e2700f6ba9a844059addf9d /src/session.mli
parentb76755c8d369f548fb418933688aa1e112480947 (diff)
downloadvyconf-78067dab4b3adc5e3b0e95105bed3f2339371c93.tar.gz
vyconf-78067dab4b3adc5e3b0e95105bed3f2339371c93.zip
Add basic session setup/teardown functionality to vyconfd.
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 160cb72..dfe2967 100644
--- a/src/session.mli
+++ b/src/session.mli
@@ -3,7 +3,7 @@ type cfg_op =
| CfgDelete of string list * string option
type world = {
- mutable running_config: Config_tree.t;
+ running_config: Config_tree.t;
reference_tree: Reference_tree.t;
vyconf_config: Vyconf_config.t;
dirs: Directories.t
@@ -12,6 +12,7 @@ type world = {
type session_data = {
proposed_config : Config_tree.t;
modified: bool;
+ conf_mode: bool;
changeset: cfg_op list;
client_app: string;
user: string