See 47a4fa812eea9ab2e06196e82f686ccff3f3cab3
@@ -585,7 +585,7 @@ class CourseHome
}
if (isset($toolWithSessionValue[$temp_row['name']])) {
- if (!empty($temp_row['session_id'])) {
+ if (!empty($temp_row['session_id']) && $temp_row['session_id'] != api_get_session_id()) {
continue;