object
method abort : unit -> unit
method deactivate_host : Unix.inet_addr -> float -> unit
method deactivate_port : Hydro_types.network_port -> float -> unit
method is_available :
Unix.inet_addr ->
Hydro_types.network_port option ->
Hydro_proxy.shared_or_private -> float -> bool
method request_clients :
Hydro_types.system ->
Hydro_proxy.shared_or_private ->
int ->
(Hydro_connector.client_connector * Hydro_types.client_params) list ->
Hydro_proxy.managed_client_t list
method reset : unit -> unit
method set_esys : Unixqueue.event_system -> unit
method shutdown : unit -> unit
method trigger_shutdown : unit -> unit
end