From 50924b92138a3f60ccc5a73e591e1930ff5021d5 Mon Sep 17 00:00:00 2001 From: Joe Digilio Date: Fri, 15 Jun 2018 14:02:06 -0500 Subject: [PATCH] Abort on parse error of config.default.ini.php (#714) If there is an error parsing the default config file, then abort. --- index.php | 2 ++ 1 file changed, 2 insertions(+) diff --git a/index.php b/index.php index f61f884..bcf1dae 100644 --- a/index.php +++ b/index.php @@ -14,6 +14,8 @@ if(!file_exists('config.default.ini.php')) die('The default configuration file "config.default.ini.php" is missing!'); $config = parse_ini_file('config.default.ini.php', true, INI_SCANNER_TYPED); +if(!$config) + die('Error parsing config.default.ini.php'); if(file_exists('config.ini.php')) { // Replace default configuration with custom settings