summaryrefslogtreecommitdiff
path: root/src/session.ml
diff options
context:
space:
mode:
Diffstat (limited to 'src/session.ml')
-rw-r--r--src/session.ml10
1 files changed, 7 insertions, 3 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 =