From 84bbca535511c3018023ef2b92a909d44a708dc0 Mon Sep 17 00:00:00 2001
From: moodler <moodler>
Date: Wed, 10 Mar 2004 13:45:23 +0000
Subject: [PATCH] When unenrolling a student from ALL courses, delete group
 memberships

---
 lib/moodlelib.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/moodlelib.php b/lib/moodlelib.php
index 824727304f1..70acc629cd5 100644
--- a/lib/moodlelib.php
+++ b/lib/moodlelib.php
@@ -816,6 +816,7 @@ function unenrol_student($userid, $courseid=0) {
 
     } else {
         delete_records("forum_subscriptions", "userid", $userid);
+        delete_records("groups_members", "userid", $userid);
         return delete_records("user_students", "userid", $userid);
     }
 }