diff options
Diffstat (limited to 'sanity_check.php')
| -rw-r--r-- | sanity_check.php | 4 |
1 files changed, 4 insertions, 0 deletions
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 "<b>Fatal Error</b>: $err_msg\n"; exit; |