From f3065eeb130b8d0a1b93c83d81f46dc7e92f524e Mon Sep 17 00:00:00 2001
From: martin <martin>
Date: Sat, 1 Jun 2002 09:06:53 +0000
Subject: [PATCH] Errors while deleting a module are no longer fatal errors

---
 course/mod.php | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/course/mod.php b/course/mod.php
index 5f36cfd9ae..9ac9acdefc 100644
--- a/course/mod.php
+++ b/course/mod.php
@@ -48,13 +48,13 @@
                 break;
             case "delete":
                 if (! delete_instance($mod->instance)) {
-                    error("Could not delete the $mod->modulename");
+                    notify("Could not delete the $mod->modulename (instance)");
                 }
                 if (! delete_course_module($mod->coursemodule)) {
-                    error("Could not delete the $mod->modulename");
+                    notify("Could not delete the $mod->modulename (coursemodule)");
                 }
                 if (! delete_mod_from_week($mod->coursemodule, "$mod->week")) {
-                    error("Could not delete the $mod->modulename from that week");
+                    notify("Could not delete the $mod->modulename from that week");
                 }
                 add_to_log($mod->course, "course", "delete mod", "view.php?id=$mod->course", "$mod->modulename $mod->instance"); 
                 break;
-- 
2.39.5