From f959a6aa568de19335f5798b1b7dda6542b29d01 Mon Sep 17 00:00:00 2001
From: Julio Montoya <gugli100@gmail.com>
Date: Fri, 4 Oct 2013 12:16:41 +0200
Subject: [PATCH] Fixing wrong user id

---
 main/inc/lib/course.lib.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/main/inc/lib/course.lib.php b/main/inc/lib/course.lib.php
index 3e1fb65996..48eb221d70 100644
--- a/main/inc/lib/course.lib.php
+++ b/main/inc/lib/course.lib.php
@@ -4072,7 +4072,7 @@ class CourseManager {
                         }
                     } else {
                         // Add new teachers only
-                        foreach ($teachers as $userId => $userInfo) {
+                        foreach ($teachers as $userId) {
                             SessionManager::set_coach_to_course_session($userId, $session['id'], $course_code);
                         }
                     }