diff options
Diffstat (limited to 'db-prefs.php')
-rw-r--r-- | db-prefs.php | 19 |
1 files changed, 13 insertions, 6 deletions
diff --git a/db-prefs.php b/db-prefs.php index c0f6159e7..38382193d 100644 --- a/db-prefs.php +++ b/db-prefs.php @@ -3,20 +3,27 @@ require_once "config.php"; require_once "db.php"; - global $dbprefs_link; - - function get_pref($pref_name) { + function get_pref($link, $pref_name) { $pref_name = db_escape_string($pref_name); - $result = db_query($dbprefs_link, "SELECT - value,ttrss_prefs_types.id as type_name + $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"); if (db_num_rows($result) > 0) { $value = db_fetch_result($result, 0, "value"); - return $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; + } + } else { die("Fatal error, unknown preferences key: $pref_name"); } |