From fefea008bc7be257b3beef1070829d06c42cd2a1 Mon Sep 17 00:00:00 2001
From: skodak <skodak>
Date: Sun, 10 Sep 2006 11:15:31 +0000
Subject: [PATCH] fixed errors when switching dbsessions from amin gui

---
 admin/settings.php | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/admin/settings.php b/admin/settings.php
index cb95d7216a..d7c27e6995 100644
--- 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':
-- 
2.39.5