diff --git a/lib/classes/session/manager.php b/lib/classes/session/manager.php index fa8618f4cd8..d1a7530652e 100644 --- a/lib/classes/session/manager.php +++ b/lib/classes/session/manager.php @@ -1315,7 +1315,9 @@ class manager { return; } - if (defined('READ_ONLY_SESSION') && READ_ONLY_SESSION && !empty($CFG->enable_read_only_sessions)) { + $readonlysession = defined('READ_ONLY_SESSION') && READ_ONLY_SESSION; + $readonlydebugging = !empty($CFG->enable_read_only_sessions) || !empty($CFG->enable_read_only_sessions_debug); + if ($readonlysession && $readonlydebugging) { return; }