diff options
-rw-r--r-- | src/session.ml | 10 | ||||
-rw-r--r-- | src/session.mli | 6 |
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 |