// Obtain system configured public host/port
int publicPort = Integer.getInteger("vertx.cluster.public.port", -1);
String publicHost = System.getProperty("vertx.cluster.public.host", null);
// If using a wilcard port (0) then we ask the server for the actual port:
int serverPort = publicPort == -1 ? server.actualPort() : publicPort;
String serverHost = publicHost == null ? options.getClusterHost() : publicHost;
ServerID serverID = new ServerID(serverPort, serverHost);
// Provide a memory barrier as we are setting from a different thread
synchronized (VertxImpl.this) {
eventBus = new EventBusImpl(this, options.getClusterPingInterval(), options.getClusterPingReplyInterval(),