MDL-63137 mod_feedback: discern between user or id better
[moodle.git] / mod / feedback / lib.php
index 10c2219..884dd7d 100644 (file)
@@ -2556,7 +2556,7 @@ function feedback_send_email($cm, $feedback, $course, $user, $completed = null)
         return;
     }
 
-    if (is_int($user)) {
+    if (!is_object($user)) {
         $user = $DB->get_record('user', array('id' => $user));
     }