fixed errors when switching dbsessions from amin gui

diff --git a/admin/settings.php b/admin/settings.php
index cb95d7216a18263df0d82072b8a824b6f176383f..d7c27e69958a61af00deef00857ae96c93ec4575 100644 (file)
--- a/admin/settings.php
+++ b/admin/settings.php
@@ -55,7 +55,12 @@ $CFG->pagepath = 'admin/setting/'.$section;
 
 if ($data = data_submitted()) {
     if (confirm_sesskey()) {
+        $olddbsessions = !empty($CFG->dbsessions);
         $errors = $root->write_settings((array)$data);
+        //force logout if dbsession setting changes
+        if ($olddbsessions != !empty($CFG->dbsessions)) {
+            require_logout();
+        }
         if (empty($errors)) {
             switch ($return) {
                 case 'site':