From 20695824e5e38a4181234998ba9e9a37d0fd31b2 Mon Sep 17 00:00:00 2001
From: martin <martin>
Date: Wed, 5 Jun 2002 16:39:45 +0000
Subject: [PATCH] Remember to remove subscriptions when unenrolling.

---
 course/unenrol.php | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/course/unenrol.php b/course/unenrol.php
index 58f3029ff2..71a2b9adbb 100644
--- 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"]);
-- 
2.39.5