From 0bfec34cf0369e57328328bd869575436a6663af Mon Sep 17 00:00:00 2001
From: Julien Viet <julien@julienviet.com>
Date: Tue, 24 Sep 2024 13:12:26 +0200
Subject: [PATCH] Expose ServerID fields

---
 .../src/main/java/io/vertx/core/net/impl/ServerID.java | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/vertx-core/src/main/java/io/vertx/core/net/impl/ServerID.java b/vertx-core/src/main/java/io/vertx/core/net/impl/ServerID.java
index 818a37a530d..a531180418c 100644
--- a/vertx-core/src/main/java/io/vertx/core/net/impl/ServerID.java
+++ b/vertx-core/src/main/java/io/vertx/core/net/impl/ServerID.java
@@ -16,7 +16,7 @@
 /**
  * @author <a href="http://tfox.org">Tim Fox</a>
  */
-public class ServerID {
+public final class ServerID {
 
   private final int port;
   private final String host;
@@ -26,6 +26,14 @@ public ServerID(int port, String host) {
     this.host = host;
   }
 
+  public int port() {
+    return port;
+  }
+
+  public String host() {
+    return host;
+  }
+
   @Override
   public boolean equals(Object o) {
     if (this == o) {