diff options
author | Andrew Dolgov <[email protected]> | 2005-11-16 18:09:27 +0100 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2005-11-16 18:09:27 +0100 |
commit | 4062022e0fd5eda07e4230cc3f39b91e77465ff2 (patch) | |
tree | b95acc67e12f1213fd83b8f2eab0042e51f8048f /db-prefs.php | |
parent | 3bac89ad2a44562f4d0b1c458ed20740379c03fc (diff) |
sql-ize tt-rss.php prefs
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"); } |