diff options
| author | Daniil Baturin <daniil@vyos.io> | 2025-11-03 14:06:20 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-11-03 14:06:20 +0000 |
| commit | 5dccf240c3024b1cebb69ecd60a8cb725990c885 (patch) | |
| tree | 8dc56afb2cef381b624e2eb20e99441569b61fd7 /src/session.ml | |
| parent | 2482e3f1a073cd9bd3cc260d0cbb4b8b38bd58f7 (diff) | |
| parent | 73d8ec88cdc559746fa8e5d6ce3dea198cff01ef (diff) | |
| download | vyconf-5dccf240c3024b1cebb69ecd60a8cb725990c885.tar.gz vyconf-5dccf240c3024b1cebb69ecd60a8cb725990c885.zip | |
Merge pull request #32 from jestabro/session-management
T7910: add request show_sessions to list all session records
Diffstat (limited to 'src/session.ml')
| -rw-r--r-- | src/session.ml | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/session.ml b/src/session.ml index f5fff2f..1677715 100644 --- a/src/session.ml +++ b/src/session.ml @@ -30,7 +30,6 @@ type aux_op = { type session_data = { - proposed_config : CT.t; modified: bool; conf_mode: bool; changeset: cfg_op list; @@ -39,10 +38,9 @@ type session_data = { client_pid: int32; client_user: string; client_sudo_user: string; -} +} [@@deriving yojson] -let make world client_app sudo_user user pid = { - proposed_config = world.running_config; +let make _world client_app sudo_user user pid = { modified = false; conf_mode = false; changeset = []; |