From d01a1087fa69d2517134a395cd79a7f0eb60a105 Mon Sep 17 00:00:00 2001 From: szaimen Date: Wed, 26 Oct 2022 19:30:15 +0200 Subject: [PATCH] prettify json and unescape slashes Signed-off-by: szaimen --- php/src/Data/ConfigurationManager.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/php/src/Data/ConfigurationManager.php b/php/src/Data/ConfigurationManager.php index deb601ef..b1f3b560 100644 --- a/php/src/Data/ConfigurationManager.php +++ b/php/src/Data/ConfigurationManager.php @@ -443,7 +443,7 @@ class ConfigurationManager if ($df !== false && (int)$df < 10240) { throw new InvalidSettingConfigurationException(DataConst::GetDataDirectory() . " does not have enough space for writing the config file! Not writing it back!"); } - file_put_contents(DataConst::GetConfigFile(), json_encode($config)); + file_put_contents(DataConst::GetConfigFile(), json_encode($config, JSON_UNESCAPED_SLASHES|JSON_PRETTY_PRINT)); } private function GetEnvironmentalVariableOrConfig(string $envVariableName, string $configName, string $defaultValue) : string {