GPUdbBase.ClusterAddressInfo |
GPUdbBase.getClusterInfo() |
Gets the active cluster's information object.
|
GPUdbBase.ClusterAddressInfo |
GPUdbBase.ClusterAddressInfo.setActiveHeadNodeUrl(URL value) |
Set the active head node URL.
|
GPUdbBase.ClusterAddressInfo |
GPUdbBase.ClusterAddressInfo.setHostManagerUrl(URL value) |
Set the host manager URL.
|
GPUdbBase.ClusterAddressInfo |
GPUdbBase.ClusterAddressInfo.setHostNames(Set<String> value) |
Set the list of host names for all available machines (whether active
or passive).
|
GPUdbBase.ClusterAddressInfo |
GPUdbBase.ClusterAddressInfo.setIsIntraClusterFailoverEnabled(boolean value) |
Deprecated, for removal: This API element is subject to removal in a future version.
|
GPUdbBase.ClusterAddressInfo |
GPUdbBase.ClusterAddressInfo.setIsPrimaryCluster(boolean value) |
Set whether this cluster is the primary one.
|
GPUdbBase.ClusterAddressInfo |
GPUdbBase.ClusterAddressInfo.setSystemProperties(Map<String,String> value) |
Set the system properties.
|
GPUdbBase.ClusterAddressInfo |
GPUdbBase.ClusterAddressInfo.setWorkerRankUrls(List<URL> value) |
Set the worker rank URLs.
|