db-prefs.php

   1 <?
   2         require_once "config.php";
   3         require_once "db.php";
   4
   5         if (! DISABLE_SESSIONS) {
   6                 session_start();
   7
   8                 if (!$_SESSION["prefs_cache"])
   9                         $_SESSION["prefs_cache"] = array();
  10         }
  11
  12         function get_pref($link, $pref_name, $user_id = false) {
  13
  14                 $pref_name = db_escape_string($pref_name);
  15
  16                 if (!$user_id) {
  17                         $user_id = $_SESSION["uid"];
  18                 } else {
  19                         $user_id = sprintf("%d", $user_id);
  20                         $prefs_cache = false;
  21                 }
  22
  23                 if ($_SESSION["prefs_cache"] && $_SESSION["prefs_cache"][$pref_name]) {
  24                         $tuple = $_SESSION["prefs_cache"][$pref_name];
  25                         return convert_pref_type($tuple["value"], $tuple["type"]);
  26                 }
  27
  28                 $result = db_query($link, "SELECT
  29                         value,ttrss_prefs_types.type_name as type_name
  30                         FROM
  31                                 ttrss_user_prefs,ttrss_prefs,ttrss_prefs_types
  32                         WHERE
  33                                 ttrss_user_prefs.pref_name = '$pref_name' AND
  34                                 ttrss_prefs_types.id = type_id AND
  35                                 owner_uid = '$user_id' AND
  36                                 ttrss_user_prefs.pref_name = ttrss_prefs.pref_name");
  37
  38                 if (db_num_rows($result) > 0) {
  39                         $value = db_fetch_result($result, 0, "value");
  40                         $type_name = db_fetch_result($result, 0, "type_name");
  41
  42                         if ($user_id = $_SESSION["uid"]) {
  43                                 $_SESSION["prefs_cache"][$pref_name]["type"] = $type_name;
  44                                 $_SESSION["prefs_cache"][$pref_name]["value"] = $value;
  45                         }
  46                         return convert_pref_type($value, $type_name);
  47
  48                 } else {
  49                         die("Fatal error, unknown preferences key: $pref_name");
  50                 }
  51         }
  52
  53         function convert_pref_type($value, $type_name) {
  54                 if ($type_name == "bool") {
  55                         return $value == "true";
  56                 } else if ($type_name == "integer") {
  57                         return sprintf("%d", $value);
  58                 } else {
  59                         return $value;
  60                 }
  61         }
  62
  63         // doesn't peform any type checking, be vigilant
  64
  65         function set_pref($link, $key, $value) {
  66                 $key = db_escape_string($key);
  67                 $value = db_escape_string($value);
  68
  69                 db_query($link, "UPDATE ttrss_user_prefs SET
  70                         value = '$value' WHERE pref_name = '$key'
  71                                 AND owner_uid = " . $_SESSION["uid"]);
  72
  73                 $_SESSION["prefs_cache"] = array();
  74
  75         }
  76 ?>