mirror_php/moodle
1
0
Fork 0
mirror of https://github.com/moodle/moodle.git synced 2025-01-18 05:58:34 +01:00
Code Issues Projects Releases Wiki Activity

deprecatedlib: Legacy interactive enrol/unenrol codepaths mark the context dirty

Browse Source 
My heart is not so cold. These old buddies also need love and care...
This commit is contained in:
martinlanghoff 2007-09-19 07:11:56 +00:00
parent a9d4ea7849
commit 2d0de2d88b
1 changed files with 16 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
lib/deprecatedlib.php
View File

@ -329,7 +329,12 @@ function enrol_student($userid, $courseid, $timestart=0, $timeend=0, $enrol='man
return false;
}
return role_assign($role->id, $user->id, 0, $context->id, $timestart, $timeend, 0, $enrol);
$res = role_assign($role->id, $user->id, 0, $context->id, $timestart, $timeend, 0, $enrol);
// force accessinfo refresh for users visiting this context...
mark_context_dirty($context->path);
return $res;
}
/**
@ -363,6 +368,8 @@ function unenrol_student($userid, $courseid=0) {
foreach($roles as $role) {
$status = role_unassign($role->id, $userid, 0, $context->id) and $status;
}
// force accessinfo refresh for users visiting this context...
mark_context_dirty($context->path);
} else {
// recursivelly unenroll student from all courses
if ($courses = get_records('course')) {
@ -406,7 +413,12 @@ function add_teacher($userid, $courseid, $editall=1, $role='', $timestart=0, $ti
return false;
}
return role_assign($role->id, $user->id, 0, $context->id, $timestart, $timeend, 0, $enrol);
$res = role_assign($role->id, $user->id, 0, $context->id, $timestart, $timeend, 0, $enrol);
// force accessinfo refresh for users visiting this context...
mark_context_dirty($context->path);
return $res;
}
/**
@ -455,6 +467,8 @@ function remove_teacher($userid, $courseid=0) {
$return = false;
}
}
// force accessinfo refresh for users visiting this context...
mark_context_dirty($context->path);
} else {
delete_records('forum_subscriptions', 'userid', $userid);