diff --git a/settings.fragment.php b/settings.fragment.php index 27c45fb..6107ec4 100644 --- a/settings.fragment.php +++ b/settings.fragment.php @@ -33,6 +33,12 @@ if(!file_exists("peppermint.json")) else $settings = json_decode(file_get_contents("peppermint.json")); +if($settings === null) +{ + header("content-type: text/plain"); + exit("Error: Failed to decode the settings file! Does it contain a syntax error?"); +} + if($settings->css === "auto") { $settings->css = <<