From be2abdd1013a3951e08fd621793af29541fb414a Mon Sep 17 00:00:00 2001
From: Vincent Zanotti <vincent.zanotti@polytechnique.org>
Date: Mon, 25 Aug 2008 15:58:34 +0200
Subject: [PATCH] Fixes S::user() for non-hruid branches.

Signed-off-by: Vincent Zanotti <vincent.zanotti@polytechnique.org>
---
 classes/s.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/classes/s.php b/classes/s.php
index 030cca9..9cc1637 100644
--- a/classes/s.php
+++ b/classes/s.php
@@ -96,7 +96,7 @@ class S
     private static $user = null;
     public static function &user()
     {
-        if (self::$user == null) {
+        if (self::$user == null && class_exists('User')) {
             self::$user = User::getSilentWithValues(S::i('uid'), $_SESSION);
         }
         return self::$user;
-- 
2.1.4