You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
(** [client] is a callback for unikernel-initiated qrexec calls. The callback is called exactly once, and is given either a flow if successful, [`Closed] if the control channel has been closed, [`Permission_denied] if dom0 says so, or an error. *)
30
+
(** [client] is a callback for unikernel-initiated qrexec calls. The callback
31
+
is called exactly once, and is given either a flow if successful, [`Closed]
32
+
if the control channel has been closed, [`Permission_denied] if dom0 says
33
+
so, or an error. *)
31
34
32
35
valconnect : domid:int-> unit -> tLwt.t
33
36
(** [connect ~domid ()] is a qrexec agent to which a client in [domid] has connected.
@@ -40,7 +43,9 @@ val listen : t -> handler -> unit Lwt.t
(** [qrexec t ~vm ~service ~client] initiates a qrexec call to [vm]'s service [service], and calls [client] with the result. If the control channel to dom0 is closed the result is [`Closed]. Otherwise [`Ok] is returned. *)
46
+
(** [qrexec t ~vm ~service ~client] initiates a qrexec call to [vm]'s service
47
+
[service], and calls [client] with the result. If the control channel to
48
+
dom0 is closed the result is [`Closed]. Otherwise [`Ok] is returned. *)
44
49
45
50
valdisconnect : t -> unitLwt.t
46
51
(** Close the underlying vchan. This will cause any listening thread to finish. *)
0 commit comments