Capitalized $user->sessionIP to $USER->sessionIP. Probably was a typo,

considering the comment just above.

diff --git a/admin/user.php b/admin/user.php
index de3c81e813fa95e45ac40b8cdc9afba05144d67e..e857cca0593cf30336df14a0f7d43495b3884ff7 100644 (file)
--- a/admin/user.php
+++ b/admin/user.php
@@ -63,7 +63,7 @@
         $USER = $user;
         $USER->loggedin = true;
         $USER->sesskey  = random_string(10); // for added security, used to check script parameters
-        $user->sessionIP = md5(getremoteaddr());   // Store the current IP in the session
+        $USER->sessionIP = md5(getremoteaddr());   // Store the current IP in the session
         $USER->site = $CFG->wwwroot;
         $USER->admin = true;
         $USER->teacher["$site->id"] = true;