db-prefs.php

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