Errors while deleting a module are no longer fatal errors

diff --git a/course/mod.php b/course/mod.php
index 5f36cfd9ae0d78da5d8753b60f098ae5a57fec31..9ac9acdefc9bb37343e611a9b3106125515cc6f0 100644 (file)
--- 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;