blob: c81149e6f08fd5acbf1aed7683d65a3921427d6d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
<?
// TODO cache last query results
require_once "config.php";
require_once "db.php";
function get_pref($link, $pref_name, $user_id = false) {
$pref_name = db_escape_string($pref_name);
if (!$user_id) {
$user_id = $_SESSION["uid"];
} else {
$user_id = sprintf("%d", $user_id);
}
$result = db_query($link, "SELECT
value,ttrss_prefs_types.type_name as type_name
FROM
ttrss_user_prefs,ttrss_prefs,ttrss_prefs_types
WHERE
ttrss_user_prefs.pref_name = '$pref_name' AND
ttrss_prefs_types.id = type_id AND
owner_uid = '$user_id' AND
ttrss_user_prefs.pref_name = ttrss_prefs.pref_name");
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");
}
}
?>
|
