From 2c46dd5b4e6cde92135f52888741a0a82fee06e3 Mon Sep 17 00:00:00 2001
From: toyomoyo <toyomoyo>
Date: Wed, 8 Mar 2006 03:17:31 +0000
Subject: [PATCH] wrong type for remove, should be an int, it is an id

---
 course/teacher.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/course/teacher.php b/course/teacher.php
index b6afec1b17d..e838ed3dd98 100644
--- a/course/teacher.php
+++ b/course/teacher.php
@@ -7,7 +7,7 @@
 
     $id = required_param('id',PARAM_INT);         // course id
     $add = optional_param('add', '', PARAM_INT);
-    $remove = optional_param('remove', '', PARAM_ALPHA);
+    $remove = optional_param('remove', '', PARAM_INT);
     $search = optional_param('search', '', PARAM_CLEAN); // search string
 
     require_login();
@@ -102,7 +102,7 @@
     }
 
 /// Remove a teacher if one is specified.
-
+    
     if (!empty($remove) and confirm_sesskey()) {
         if (! remove_teacher($remove, $course->id)) {
             error("Could not remove that teacher from this course!");