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                                 ttrss_user_prefs.pref_name = ttrss_prefs.pref_name");
  19
  20                 if (db_num_rows($result) > 0) {
  21                         $value = db_fetch_result($result, 0, "value");
  22                         $type_name = db_fetch_result($result, 0, "type_name");
  23
  24                         if ($type_name == "bool") {
  25                                 return $value == "true";
  26                         } else if ($type_name == "integer") {
  27                                 return sprintf("%d", $value);
  28                         } else {
  29                                 return $value;
  30                         }
  31
  32                 } else {
  33                         die("Fatal error, unknown preferences key: $pref_name");
  34                 }
  35         }
  36
  37 ?>