From: Raphaël Barrois <raphael.barrois@polytechnique.org>
Date: Sun, 4 Nov 2012 22:49:58 +0000 (+0100)
Subject: Add hook for pre-fetching the profile.
X-Git-Tag: xorg/1.1.6~13
X-Git-Url: http://git.polytechnique.org/?a=commitdiff_plain;h=83040cf5d124f2437ad698422638fb433c217f06;p=platal.git

Add hook for pre-fetching the profile.

Signed-off-by: Raphaël Barrois <raphael.barrois@polytechnique.org>
---

diff --git a/classes/user.php b/classes/user.php
index b8cca26..4626b85 100644
--- a/classes/user.php
+++ b/classes/user.php
@@ -369,6 +369,12 @@ class User extends PlUser
         return $this->_profile;
     }
 
+    public function setPrefetchedProfile(Profile $profile)
+    {
+        $this->_profile_fetched = true;
+        $this->_profile = $profile;
+    }
+
     /** Return true if the user has an associated profile.
      */
     public function hasProfile()