Skip to content

Commit

Permalink
merge
Browse files Browse the repository at this point in the history
Signed-off-by: Phillip Kruger <[email protected]>
  • Loading branch information
phillip-kruger committed Jun 1, 2023
1 parent 329058d commit a6a8684
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -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);
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -253,11 +253,11 @@ public static void updateConfig(Map<String, String> 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)) {
Expand Down

0 comments on commit a6a8684

Please sign in to comment.