From 9fa628058092be1bd2093abf2718bbc862c105e9 Mon Sep 17 00:00:00 2001
From: moodler <moodler>
Date: Fri, 30 Jan 2004 06:44:02 +0000
Subject: [PATCH] When unenrolling students, remove them from groups too

---
 lib/moodlelib.php | 19 ++++++++++++-------
 1 file changed, 12 insertions(+), 7 deletions(-)

diff --git a/lib/moodlelib.php b/lib/moodlelib.php
index 7e3fc467e9..259331a4a2 100644
--- a/lib/moodlelib.php
+++ b/lib/moodlelib.php
@@ -775,21 +775,26 @@ function enrol_student($userid, $courseid) {
     return true;
 }
 
-function unenrol_student($user, $course=0) {
+function unenrol_student($userid, $courseid=0) {
 /// Unenrols a student from a given course
 
-    if ($course) {
+    if ($courseid) {
         /// First delete any crucial stuff that might still send mail
-        if ($forums = get_records("forum", "course", $course)) {
+        if ($forums = get_records("forum", "course", $courseid)) {
             foreach ($forums as $forum) {
-                delete_records("forum_subscriptions", "forum", $forum->id, "userid", $user);
+                delete_records("forum_subscriptions", "forum", $forum->id, "userid", $userid);
             }
         }
-        return delete_records("user_students", "userid", $user, "course", $course);
+        if ($groups = get_groups($courseid, $userid)) {
+            foreach ($groups as $group) {
+                delete_records("groups_members", "groupid", $group->id, "userid", $userid);
+            }
+        }
+        return delete_records("user_students", "userid", $userid, "course", $courseid);
 
     } else {
-        delete_records("forum_subscriptions", "userid", $user);
-        return delete_records("user_students", "userid", $user);
+        delete_records("forum_subscriptions", "userid", $userid);
+        return delete_records("user_students", "userid", $userid);
     }
 }
 
-- 
2.39.5