diff --git a/sanity_check.php b/sanity_check.php index 7bc40520d..53193a2d6 100644 --- 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 "Fatal Error: $err_msg\n"; exit;