From c6a09cc9fce42323d86d2f4e161a894cdc970a24 Mon Sep 17 00:00:00 2001 From: John Estabrook Date: Wed, 16 Apr 2025 14:51:36 -0500 Subject: 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. --- src/vyconf_client.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/vyconf_client.mli') diff --git a/src/vyconf_client.mli b/src/vyconf_client.mli index 9c25c60..39e955b 100644 --- a/src/vyconf_client.mli +++ b/src/vyconf_client.mli @@ -8,7 +8,7 @@ val shutdown : t -> t Lwt.t val prompt : t -> Vyconf_connect.Vyconf_pbt.response Lwt.t -val setup_session : ?on_behalf_of:(int option) -> t -> string -> (t, string) result Lwt.t +val setup_session : ?on_behalf_of:(int option) -> t -> string -> int32 -> (t, string) result Lwt.t val teardown_session : ?on_behalf_of:(int option) -> t -> (string, string) result Lwt.t -- cgit v1.2.3