]> git.wh0rd.org - tt-rss.git/blame - db-prefs.php
possible fix for possible tag bug
[tt-rss.git] / db-prefs.php
CommitLineData
3bac89ad 1<?
75c56ed7 2 // TODO cache last query results
3bac89ad
AD
3
4 require_once "config.php";
5 require_once "db.php";
6
4062022e 7 function get_pref($link, $pref_name) {
3bac89ad
AD
8
9 $pref_name = db_escape_string($pref_name);
10
4062022e
AD
11 $result = db_query($link, "SELECT
12 value,ttrss_prefs_types.type_name as type_name
ff485f1d
AD
13 FROM
14 ttrss_user_prefs,ttrss_prefs,ttrss_prefs_types
15 WHERE
16 ttrss_user_prefs.pref_name = '$pref_name' AND
17 ttrss_prefs_types.id = type_id AND
8c7bbd2d 18 owner_uid = ".$_SESSION["uid"]." AND
ff485f1d 19 ttrss_user_prefs.pref_name = ttrss_prefs.pref_name");
3bac89ad
AD
20
21 if (db_num_rows($result) > 0) {
22 $value = db_fetch_result($result, 0, "value");
4062022e
AD
23 $type_name = db_fetch_result($result, 0, "type_name");
24
25 if ($type_name == "bool") {
26 return $value == "true";
27 } else if ($type_name == "integer") {
28 return sprintf("%d", $value);
29 } else {
30 return $value;
31 }
32
3bac89ad
AD
33 } else {
34 die("Fatal error, unknown preferences key: $pref_name");
35 }
36 }
37
38?>