check if loading the settings.xml succeeded

This commit is contained in:
Uwe Steinmann 2018-11-27 12:17:51 +01:00
parent 0f038e2d57
commit e490c1a0f2

View File

@ -311,7 +311,10 @@ class Settings { /* {{{ */
exit;
}
}
$this->load($configFilePath);
if(!$this->load($configFilePath)) {
echo "Your configuration contains errors.";
exit;
}
if (!is_null($this->_maxExecutionTime))
ini_set("max_execution_time", $this->_maxExecutionTime);