diff options
| -rw-r--r-- | include/sanity_check.php | 6 | ||||
| -rw-r--r-- | index.php | 6 |
2 files changed, 9 insertions, 3 deletions
diff --git a/include/sanity_check.php b/include/sanity_check.php index 3e5c09803..2769b4b59 100644 --- a/include/sanity_check.php +++ b/include/sanity_check.php @@ -1,15 +1,15 @@ <?php require_once "functions.php"; - define('EXPECTED_CONFIG_VERSION', 23); - define('SCHEMA_VERSION', 86); - if (!file_exists("config.php")) { print "<b>Fatal Error</b>: You forgot to copy <b>config.php-dist</b> to <b>config.php</b> and edit it.\n"; exit; } + define('EXPECTED_CONFIG_VERSION', 23); + define('SCHEMA_VERSION', 86); + require_once "config.php"; require_once "sanity_config.php"; @@ -1,4 +1,10 @@ <?php + if (!file_exists("config.php")) { + print "<b>Fatal Error</b>: You forgot to copy + <b>config.php-dist</b> to <b>config.php</b> and edit it.\n"; + exit; + } + set_include_path(get_include_path() . PATH_SEPARATOR . "include"); require_once "functions.php"; |