db-prefs.php

   1 <?
   2         // TODO cache last query results
   3
   4         require_once "config.php";
   5         require_once "db.php";
   6
   7         function get_pref($link, $pref_name) {
   8
   9                 $pref_name = db_escape_string($pref_name);
  10
  11                 $result = db_query($link, "SELECT
  12                         value,ttrss_prefs_types.type_name as type_name
  13                         FROM
  14                                 ttrss_user_prefs,ttrss_prefs,ttrss_prefs_types
  15                         WHERE
  16                                 ttrss_user_prefs.pref_name = '$pref_name' AND
  17                                 ttrss_prefs_types.id = type_id AND
  18                                 owner_uid = ".$_SESSION["uid"]." AND
  19                                 ttrss_user_prefs.pref_name = ttrss_prefs.pref_name");
  20
  21                 if (db_num_rows($result) > 0) {
  22                         $value = db_fetch_result($result, 0, "value");
  23                         $type_name = db_fetch_result($result, 0, "type_name");
  24
  25                         if ($type_name == "bool") {
  26                                 return $value == "true";
  27                         } else if ($type_name == "integer") {
  28                                 return sprintf("%d", $value);
  29                         } else {
  30                                 return $value;
  31                         }
  32
  33                 } else {
  34                         die("Fatal error, unknown preferences key: $pref_name");
  35                 }
  36         }
  37
  38 ?>