/**
* Handles un-enrolling a user.
*
* @param stdClass $instance
* @param int $userid
* @return void
*/
public function unenrol_user(stdClass $instance, $userid)
{
global $DB;
// Get the tool associated with this instance. Note - it may not exist if we have deleted
// the tool. This is fine because we have already cleaned the 'enrol_lti_users' table.
if ($tool = $DB->get_record('enrol_lti_tools', array('enrolid' => $instance->id), 'id')) {
// Need to remove the user from the users table.
$DB->delete_records('enrol_lti_users', array('userid' => $userid, 'toolid' => $tool->id));
}
parent::unenrol_user($instance, $userid);
}
