diff options
Diffstat (limited to 'src/session.ml')
| -rw-r--r-- | src/session.ml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/session.ml b/src/session.ml index 1ff7c45..e7be5d7 100644 --- a/src/session.ml +++ b/src/session.ml @@ -27,15 +27,17 @@ type session_data = { changeset: cfg_op list; client_app: string; user: string; + client_pid: int32; } -let make world client_app user = { +let make world client_app user pid = { proposed_config = world.running_config; modified = false; conf_mode = false; changeset = []; client_app = client_app; - user = user + user = user; + client_pid = pid; } let string_of_op op = |