T7363: track process id in session data

In practice, this may be passed in the request as the ppid, as needed
for CLI applications to coordinate with the ambient config session. For
other uses, the client pid will suffice.

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 =