Remember to remove subscriptions when unenrolling.

diff --git a/course/unenrol.php b/course/unenrol.php
index 58f3029ff24e9dd19b9f01c87c24bd322da59420..71a2b9adbbb5504a7968001ec9e1a0bba0b60793 100644 (file)
--- a/course/unenrol.php
+++ b/course/unenrol.php
@@ -20,6 +20,10 @@
         if (! unenrol_student_in_course($USER->id, $course->id)) {
             error("An error occurred while trying to unenrol you.");
         }
+
+        // remove some other things
+        delete_records("discuss_subscriptions", "user", $USER->id);
+
         add_to_log($course->id, "course", "unenrol", "view.php?id=$course->id", "$USER->id");
 
         unset($USER->student["$id"]);