From 20ca43a85591a56d935ebb9909fcef5072cda3b2 Mon Sep 17 00:00:00 2001
From: Mikhail Kovalev <mikhail.kovalev@orbitsoft.com>
Date: Wed, 22 Aug 2018 14:50:05 +0300
Subject: [PATCH] Add port public getter in HTTPServer

Signed-off-by: Mikhail Kovalev <mikhail.kovalev@orbitsoft.com>
---
 .../java/io/prometheus/client/exporter/HTTPServer.java     | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/simpleclient_httpserver/src/main/java/io/prometheus/client/exporter/HTTPServer.java b/simpleclient_httpserver/src/main/java/io/prometheus/client/exporter/HTTPServer.java
index 61e5cd529..4aa9b4239 100644
--- a/simpleclient_httpserver/src/main/java/io/prometheus/client/exporter/HTTPServer.java
+++ b/simpleclient_httpserver/src/main/java/io/prometheus/client/exporter/HTTPServer.java
@@ -220,5 +220,12 @@ public void stop() {
         server.stop(0);
         executorService.shutdown(); // Free any (parked/idle) threads in pool
     }
+
+    /**
+     * Gets the port number.
+     */
+    public int getPort() {
+        return server.getAddress().getPort();
+    }
 }