tt-rss/db-prefs.php

<?
	// TODO cache last query results

	require_once "config.php";
	require_once "db.php";

	function get_pref($link, $pref_name) {

		$pref_name = db_escape_string($pref_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");
			$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");			
		}
	}

?>