Merge pull request #40656 from mkouba/devui-build-metrics-update-data

Dev UI: update build metrics data after live reload
quarkusio · May 16, 2024 · 7791061 · 7791061
2 parents f7b8d69 + 8578ce4
commit 7791061
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/...ttp/runtime/src/main/java/io/quarkus/devui/runtime/build/BuildMetricsDevUIController.java b/...ttp/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() {