database backed sessions

[tt-rss.git] / db-prefs.php

diff --git a/db-prefs.php b/db-prefs.php
index 7ff64a89c9d9abfab0cc2509cd598e89a767590b..8714e340cafd0688ef8ab2941c9a101bf9ad5326 100644 (file)
--- a/db-prefs.php
+++ b/db-prefs.php
@@ -1,33 +1,76 @@
 <?
-       // TODO cache last query results
-
        require_once "config.php";
        require_once "db.php";
 
-       function get_pref($link, $pref_name) {
+       if (! DISABLE_SESSIONS) {       
+               require_once "sessions.php";
+       
+               if (!$_SESSION["prefs_cache"])
+                       $_SESSION["prefs_cache"] = array();
+       }
+
+       function get_pref($link, $pref_name, $user_id = false) {
 
                $pref_name = db_escape_string($pref_name);
 
+               if (!$user_id) {
+                       $user_id = $_SESSION["uid"];
+               } else {
+                       $user_id = sprintf("%d", $user_id);
+                       $prefs_cache = false;
+               }
+       
+               if ($_SESSION["prefs_cache"] && $_SESSION["prefs_cache"][$pref_name]) {
+                       $tuple = $_SESSION["prefs_cache"][$pref_name];
+                       return convert_pref_type($tuple["value"], $tuple["type"]);
+               }
+
                $result = db_query($link, "SELECT 
                        value,ttrss_prefs_types.type_name as type_name 
-                       FROM ttrss_prefs,ttrss_prefs_types
-                       WHERE pref_name = '$pref_name' AND ttrss_prefs_types.id = type_id");
+                       FROM 
+                               ttrss_user_prefs,ttrss_prefs,ttrss_prefs_types
+                       WHERE 
+                               ttrss_user_prefs.pref_name = '$pref_name' AND 
+                               ttrss_prefs_types.id = type_id AND
+                               owner_uid = '$user_id' AND
+                               ttrss_user_prefs.pref_name = ttrss_prefs.pref_name");
 
                if (db_num_rows($result) > 0) {
                        $value = db_fetch_result($result, 0, "value");
                        $type_name = db_fetch_result($result, 0, "type_name");
 
-                       if ($type_name == "bool") {                     
-                               return $value == "true";                                
-                       } else if ($type_name == "integer") {                   
-                               return sprintf("%d", $value);                           
-                       } else {
-                               return $value;
+                       if ($user_id = $_SESSION["uid"]) {
+                               $_SESSION["prefs_cache"][$pref_name]["type"] = $type_name;
+                               $_SESSION["prefs_cache"][$pref_name]["value"] = $value;
                        }
+                       return convert_pref_type($value, $type_name);
                        
                } else {                
                        die("Fatal error, unknown preferences key: $pref_name");                        
                }
        }
 
+       function convert_pref_type($value, $type_name) {
+               if ($type_name == "bool") {                     
+                       return $value == "true";                                
+               } else if ($type_name == "integer") {                   
+                       return sprintf("%d", $value);                           
+               } else {
+                       return $value;
+               }
+       }
+
+       // doesn't peform any type checking, be vigilant
+       
+       function set_pref($link, $key, $value) {
+               $key = db_escape_string($key);
+               $value = db_escape_string($value);
+       
+               db_query($link, "UPDATE ttrss_user_prefs SET 
+                       value = '$value' WHERE pref_name = '$key' 
+                               AND owner_uid = " . $_SESSION["uid"]);
+
+               $_SESSION["prefs_cache"] = array();
+
+       }
 ?>