From c99c3dac32f2e5c46dfe6d0bf601242571de314d Mon Sep 17 00:00:00 2001
From: moodler <moodler>
Date: Wed, 29 Sep 2004 03:11:28 +0000
Subject: [PATCH] Check resource->type more carefully

---
 mod/resource/lib.php | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/mod/resource/lib.php b/mod/resource/lib.php
index 1dc6eb051df..cef9b45e2be 100644
--- a/mod/resource/lib.php
+++ b/mod/resource/lib.php
@@ -242,6 +242,8 @@ function delete_instance($id) {
 function resource_add_instance($resource) {
     global $CFG;
     
+    $resource->type = clean_filename($resource->type);   // Just to be safe
+
     require_once("$CFG->dirroot/mod/resource/type/$resource->type/resource.class.php");
     $resourceclass = "resource_$resource->type";
     $res = new $resourceclass();
@@ -252,6 +254,8 @@ function resource_add_instance($resource) {
 function resource_update_instance($resource) {
     global $CFG;
     
+    $resource->type = clean_filename($resource->type);   // Just to be safe
+
     require_once("$CFG->dirroot/mod/resource/type/$resource->type/resource.class.php");
     $resourceclass = "resource_$resource->type";
     $res = new $resourceclass();
@@ -265,6 +269,8 @@ function resource_delete_instance($id) {
     if (! $resource = get_record("resource", "id", "$id")) {
         return false;
     }
+
+    $resource->type = clean_filename($resource->type);   // Just to be safe
     
     require_once("$CFG->dirroot/mod/resource/type/$resource->type/resource.class.php");
     $resourceclass = "resource_$resource->type";