From 53ec7970b38be5170da5a800f3406c72ab43d4ce Mon Sep 17 00:00:00 2001 From: Phillip Kruger Date: Tue, 14 Nov 2023 10:12:14 +1100 Subject: [PATCH] Add endpoints page in Dev UI Signed-off-by: Phillip Kruger --- .../io/quarkus/devui/deployment/menu/EndpointsProcessor.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/extensions/vertx-http/deployment/src/main/java/io/quarkus/devui/deployment/menu/EndpointsProcessor.java b/extensions/vertx-http/deployment/src/main/java/io/quarkus/devui/deployment/menu/EndpointsProcessor.java index 35d45a6581a0b..634bdf5062032 100644 --- a/extensions/vertx-http/deployment/src/main/java/io/quarkus/devui/deployment/menu/EndpointsProcessor.java +++ b/extensions/vertx-http/deployment/src/main/java/io/quarkus/devui/deployment/menu/EndpointsProcessor.java @@ -26,7 +26,7 @@ public class EndpointsProcessor { @BuildStep(onlyIf = IsDevelopment.class) void addEndpointInfos(List displayableEndpoints, DevUIRecorder recorder, HttpRootPathBuildItem httpRoot) { - + List endpoints = displayableEndpoints .stream() .map(v -> new EndpointInfo(v.getEndpoint(httpRoot), v.getDescription()))