| Package | Description |
|---|---|
| io.vertx.core | |
| io.vertx.core.spi.cluster |
| Modifier and Type | Method and Description |
|---|---|
ClusterManager |
VertxOptions.getClusterManager()
Get the cluster manager to be used when clustering.
|
| Modifier and Type | Method and Description |
|---|---|
VertxOptions |
VertxOptions.setClusterManager(ClusterManager clusterManager)
Programmatically set the cluster manager to be used when clustering.
|
| Modifier and Type | Method and Description |
|---|---|
void |
NodeSelector.init(Vertx vertx,
ClusterManager clusterManager)
Invoked before the
vertx instance tries to join the cluster. |
Copyright © 2023 Eclipse. All rights reserved.