|
|
|
@ -2751,7 +2751,8 @@ class UserManager |
|
|
|
if ($session_visibility == SESSION_INVISIBLE) { |
|
|
|
if ($session_visibility == SESSION_INVISIBLE) { |
|
|
|
continue; |
|
|
|
continue; |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
// This query is horribly slow when more than a few thousand |
|
|
|
|
|
|
|
// users and just a few sessions to which they are subscribed |
|
|
|
$id_session = $enreg['id']; |
|
|
|
$id_session = $enreg['id']; |
|
|
|
$personal_course_list_sql = "SELECT DISTINCT |
|
|
|
$personal_course_list_sql = "SELECT DISTINCT |
|
|
|
course.code code, |
|
|
|
course.code code, |
|
|
|
|