summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/session.ml10
-rw-r--r--src/session.mli6
2 files changed, 11 insertions, 5 deletions
diff --git a/src/session.ml b/src/session.ml
index b380817..02166c2 100644
--- a/src/session.ml
+++ b/src/session.ml
@@ -18,13 +18,17 @@ type world = {
type session_data = {
proposed_config : Config_tree.t;
modified: bool;
- changeset: cfg_op list
+ changeset: cfg_op list;
+ client_app: string;
+ user: string;
}
-let make world = {
+let make world client_app user = {
proposed_config = world.running_config;
modified = false;
- changeset = []
+ changeset = [];
+ client_app = client_app;
+ user = user
}
let string_of_op op =
diff --git a/src/session.mli b/src/session.mli
index 96b3e85..160cb72 100644
--- a/src/session.mli
+++ b/src/session.mli
@@ -12,12 +12,14 @@ type world = {
type session_data = {
proposed_config : Config_tree.t;
modified: bool;
- changeset: cfg_op list
+ changeset: cfg_op list;
+ client_app: string;
+ user: string
}
exception Session_error of string
-val make : world -> session_data
+val make : world -> string -> string -> session_data
val set : world -> session_data -> string list -> session_data