diff --git a/extensions/vertx-http/deployment/src/main/java/io/quarkus/devui/deployment/menu/ConfigurationProcessor.java b/extensions/vertx-http/deployment/src/main/java/io/quarkus/devui/deployment/menu/ConfigurationProcessor.java index dcc1ac3f5504af..bef8c88d577cd7 100644 --- a/extensions/vertx-http/deployment/src/main/java/io/quarkus/devui/deployment/menu/ConfigurationProcessor.java +++ b/extensions/vertx-http/deployment/src/main/java/io/quarkus/devui/deployment/menu/ConfigurationProcessor.java @@ -73,7 +73,7 @@ JsonRPCProvidersBuildItem registerJsonRpcService() { }); DevConsoleManager.register("config-set-properties", value -> { String content = value.get("content"); - ConfigEditorProcessor.setConfig(content); + ConfigEditorProcessor.setConfig(content, false); return null; }); return new JsonRPCProvidersBuildItem("devui-configuration", ConfigJsonRPCService.class); diff --git a/extensions/vertx-http/deployment/src/main/java/io/quarkus/vertx/http/deployment/devmode/console/ConfigEditorProcessor.java b/extensions/vertx-http/deployment/src/main/java/io/quarkus/vertx/http/deployment/devmode/console/ConfigEditorProcessor.java index 63be94a20825c9..1603a6c48d1f69 100644 --- a/extensions/vertx-http/deployment/src/main/java/io/quarkus/vertx/http/deployment/devmode/console/ConfigEditorProcessor.java +++ b/extensions/vertx-http/deployment/src/main/java/io/quarkus/vertx/http/deployment/devmode/console/ConfigEditorProcessor.java @@ -253,11 +253,11 @@ public static void updateConfig(Map values, boolean preventKill) } } - static void setConfig(String value) { + public static void setConfig(String value) { setConfig(value, true); } - static void setConfig(String value, boolean preventKill) { + public static void setConfig(String value, boolean preventKill) { try { Path configPath = getConfigPath(); try (BufferedWriter writer = Files.newBufferedWriter(configPath)) {