fix CONFIG_VERSION checking

diff --git a/sanity_check.php b/sanity_check.php
index e8b1ca34cc1f3cadc879b40af0a2de8f679e74a1..796acc76fa409f8e00702b6fefa7d3391fcd23e5 100644 (file)
--- 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