sql-ize tt-rss.php prefs

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");			
 		}