block database backed sessions with mysql

diff --git a/sanity_check.php b/sanity_check.php
index 7bc40520d0ddadba7ffb1ebad983149856880142..53193a2d66d4d2ebb72493a7d1591cbdacb48738 100644 (file)
--- a/sanity_check.php
+++ b/sanity_check.php
@@ -94,6 +94,10 @@
                $err_msg = "config: DATABASE_BACKED_SESSIONS is incompatible with SINGLE_USER_MODE";
        }
 
+       if (DATABASE_BACKED_SESSIONS && DB_TYPE == "mysql") {
+               $err_msg = "config: DATABASE_BACKED_SESSIONS are currently broken with MySQL";
+       }
+
        if ($err_msg) {
                print "<b>Fatal Error</b>: $err_msg\n";
                exit;