From fefea008bc7be257b3beef1070829d06c42cd2a1 Mon Sep 17 00:00:00 2001 From: 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