| File doc/godi-hydro/html/Hydro_locator.html |
GODI Package
godi-hydro |
module Hydro_locator: sig .. end
Use locator service for proxy resolution (IceGrid)
val proxy_resolver : ?domain_resolver:Hydro_proxy.domain_resolver ->
Hydro_types.client_params ->
Hydro_builtin.pr_Ice_Locator -> Hydro_proxy.proxy_resolver_t
A proxy_resolver that also supports indirect lookups through a
locator service like icegridnode. The parameters and the
proxy of the locator have to be passed.
Note that there is no caching of results!
val get_Ice_Locator_of_port : string -> int -> Hydro_builtin.pr_Ice_Locator
Return a proxy referring to ::Ice::Locator for a host and a port