From 8578ce489567ff0b996fc71814beda03263d9e6e Mon Sep 17 00:00:00 2001
From: Martin Kouba <mkouba@redhat.com>
Date: Wed, 15 May 2024 12:29:49 +0200
Subject: [PATCH] Dev UI: update build metrics data after live reload

---
 .../devui/runtime/build/BuildMetricsDevUIController.java        | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/extensions/vertx-http/runtime/src/main/java/io/quarkus/devui/runtime/build/BuildMetricsDevUIController.java b/extensions/vertx-http/runtime/src/main/java/io/quarkus/devui/runtime/build/BuildMetricsDevUIController.java
index 93b9db1160cbd..b94a13fac6461 100644
--- a/extensions/vertx-http/runtime/src/main/java/io/quarkus/devui/runtime/build/BuildMetricsDevUIController.java
+++ b/extensions/vertx-http/runtime/src/main/java/io/quarkus/devui/runtime/build/BuildMetricsDevUIController.java
@@ -43,6 +43,8 @@ private BuildMetricsDevUIController() {
 
     void setBuildMetricsPath(Path buildMetricsPath) {
         this.buildMetricsPath = buildMetricsPath;
+        // Reread the data after reload
+        this.buildStepsMetrics = null;
     }
 
     Map<String, Object> getBuildStepsMetrics() {