summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndrew Dolgov <[email protected]>2006-03-28 16:44:51 +0100
committerAndrew Dolgov <[email protected]>2006-03-28 16:44:51 +0100
commit9d87df8f60f2c049de57faae1c827d457be1e7ea (patch)
treea1a5c5c2648d5429f0f852fe36894b44e14d30a5
parentadf702d686736e114d36c154f85e8344b610a0da (diff)
fix CONFIG_VERSION checking
-rw-r--r--sanity_check.php2
1 files changed, 2 insertions, 0 deletions
diff --git a/sanity_check.php b/sanity_check.php
index e8b1ca34c..796acc76f 100644
--- a/sanity_check.php
+++ b/sanity_check.php
@@ -7,6 +7,8 @@
exit;
}
+ require_once "config.php";
+
if (CONFIG_VERSION != EXPECTED_CONFIG_VERSION) {
print "<b>Fatal Error</b>: Your configuration file has
wrong version. Please copy new options from <b>config.php-dist</b> and