From 238a826393f8cbd3be2c8b493185db5eccb36d7a Mon Sep 17 00:00:00 2001
From: martin <martin>
Date: Fri, 2 Aug 2002 09:19:22 +0000
Subject: [PATCH] This file is not linked to or used by anything yet, but I've
 found it useful to delete forums properly while testing stuff.

---
 mod/forum/delete.php | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 mod/forum/delete.php

diff --git a/mod/forum/delete.php b/mod/forum/delete.php
new file mode 100644
index 0000000000..3eb2b60a0b
--- /dev/null
+++ b/mod/forum/delete.php
@@ -0,0 +1,27 @@
+<?PHP // $Id$
+
+//  Deletes a forum entirely.  
+
+    require("../../config.php");
+    require("mod.php");
+
+    require_variable($f);  // The forum to delete.
+
+    if (! $forum = get_record("forum", "id", $f)) {
+        error("Forum ID was incorrect");
+    }
+
+    if (! $course = get_record("course", "id", $forum->course)) {
+        error("Forum course was incorrect");
+    }
+
+    if (!isteacher($forum->course)) {
+        error("You are not allowed to do this");
+    }
+
+    if (! delete_instance($forum->id)) {
+        error("Could not delete that forum");
+    }
+
+    redirect("$CFG->wwwroot/mod/forum/index.php?id=$course->id");
+?>
-- 
2.39.5