]>
git.wh0rd.org - tt-rss.git/blob - db-prefs.php
2 // TODO cache last query results
4 require_once "config.php";
7 function get_pref($link, $pref_name, $user_id = false) {
9 $pref_name = db_escape_string($pref_name);
12 $user_id = $_SESSION["uid"];
14 $user_id = sprintf("%d", $user_id);
17 $result = db_query($link, "SELECT
18 value,ttrss_prefs_types.type_name as type_name
20 ttrss_user_prefs,ttrss_prefs,ttrss_prefs_types
22 ttrss_user_prefs.pref_name = '$pref_name' AND
23 ttrss_prefs_types.id = type_id AND
24 owner_uid = '$user_id' AND
25 ttrss_user_prefs.pref_name = ttrss_prefs.pref_name");
27 if (db_num_rows($result) > 0) {
28 $value = db_fetch_result($result, 0, "value");
29 $type_name = db_fetch_result($result, 0, "type_name");
31 if ($type_name == "bool") {
32 return $value == "true";
33 } else if ($type_name == "integer") {
34 return sprintf("%d", $value);
40 die("Fatal error, unknown preferences key: $pref_name");