Plasma GitLab Archive
Projects Blog Knowledge

sig
  val proxy_resolver :
    ?domain_resolver:Hydro_proxy.domain_resolver ->
    Hydro_types.client_params ->
    Hydro_builtin.pr_Ice_Locator -> Hydro_proxy.proxy_resolver_t
  val get_Ice_Locator_of_port : string -> int -> Hydro_builtin.pr_Ice_Locator
  val get_Ice_Locator_of_string : string -> Hydro_builtin.pr_Ice_Locator
  exception Error of string
  val register_adapter :
    ?dynamic_ip:bool ->
    Hydro_builtin.pr_Ice_Locator ->
    string -> string option -> Hydro_types.endpoint -> unit
  val register_adapters :
    ?dynamic_ip:bool ->
    Hydro_builtin.pr_Ice_Locator ->
    Hydro_types.object_dispatcher list -> Hydro_types.endpoint -> unit
  val unregister_adapter :
    Hydro_builtin.pr_Ice_Locator -> string -> string option -> unit
  val unregister_adapters :
    Hydro_builtin.pr_Ice_Locator ->
    Hydro_types.object_dispatcher list -> unit
  val test_indirect_resolver :
    Hydro_proxy.proxy_resolver_t ->
    string -> (Hydro_types.endpoint * Hydro_types.network_port option) list
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml