diff options
| author | John Estabrook <jestabro@vyos.io> | 2025-10-21 15:00:05 -0500 |
|---|---|---|
| committer | John Estabrook <jestabro@vyos.io> | 2025-10-22 19:41:25 -0500 |
| commit | 73d8ec88cdc559746fa8e5d6ce3dea198cff01ef (patch) | |
| tree | f3800ebbcf3d10a3ffd697be460b17adf4639ad2 /src/session.mli | |
| parent | 916ea4510c35e1e37cf2ff53f48df20a1a1998bf (diff) | |
| download | vyconf-73d8ec88cdc559746fa8e5d6ce3dea198cff01ef.tar.gz vyconf-73d8ec88cdc559746fa8e5d6ce3dea198cff01ef.zip | |
T7910: add request show_sessions to list all session records
Diffstat (limited to 'src/session.mli')
| -rw-r--r-- | src/session.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/session.mli b/src/session.mli index ea838c9..ebe67b3 100644 --- a/src/session.mli +++ b/src/session.mli @@ -24,7 +24,7 @@ type session_data = { client_pid: int32; client_user: string; client_sudo_user: string; -} +} [@@deriving yojson] exception Session_error of string |