From 70364a420d8bd77e2988dd37b8ee67d4bcbd6fe6 Mon Sep 17 00:00:00 2001
From: Andrew Dolgov <fox@madoka.spb.ru>
Date: Tue, 30 Oct 2007 07:35:16 +0100
Subject: [PATCH] get_pref: do not use cache when querying prefs for specific
 user

---
 db-prefs.php | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/db-prefs.php b/db-prefs.php
index 0858c2ce4..f9b57e6b1 100644
--- a/db-prefs.php
+++ b/db-prefs.php
@@ -10,6 +10,7 @@
 	function get_pref($link, $pref_name, $user_id = false, $die_on_error = false) {
 
 		$pref_name = db_escape_string($pref_name);
+		$prefs_cache = true;
 
 		if (!$user_id) {
 			$user_id = $_SESSION["uid"];
@@ -18,7 +19,7 @@
 			$prefs_cache = false;
 		}
 
-		if (!defined('DISABLE_SESSIONS') && !SINGLE_USER_MODE) {	
+		if ($prefs_cache && !defined('DISABLE_SESSIONS') && !SINGLE_USER_MODE) {	
 			if ($_SESSION["prefs_cache"] && $_SESSION["prefs_cache"][$pref_name]) {
 				$tuple = $_SESSION["prefs_cache"][$pref_name];
 				return convert_pref_type($tuple["value"], $tuple["type"]);