]>
git.wh0rd.org - tt-rss.git/blob - db-prefs.php
2 require_once "config.php";
5 if (! DISABLE_SESSIONS
) {
8 if (!$_SESSION["prefs_cache"])
9 $_SESSION["prefs_cache"] = array();
12 function get_pref($link, $pref_name, $user_id = false) {
14 $pref_name = db_escape_string($pref_name);
17 $user_id = $_SESSION["uid"];
19 $user_id = sprintf("%d", $user_id);
23 if ($_SESSION["prefs_cache"] && $_SESSION["prefs_cache"][$pref_name]) {
24 $tuple = $_SESSION["prefs_cache"][$pref_name];
25 return convert_pref_type($tuple["value"], $tuple["type"]);
28 $result = db_query($link, "SELECT
29 value,ttrss_prefs_types.type_name as type_name
31 ttrss_user_prefs,ttrss_prefs,ttrss_prefs_types
33 ttrss_user_prefs.pref_name = '$pref_name' AND
34 ttrss_prefs_types.id = type_id AND
35 owner_uid = '$user_id' AND
36 ttrss_user_prefs.pref_name = ttrss_prefs.pref_name");
38 if (db_num_rows($result) > 0) {
39 $value = db_fetch_result($result, 0, "value");
40 $type_name = db_fetch_result($result, 0, "type_name");
42 if ($user_id = $_SESSION["uid"]) {
43 $_SESSION["prefs_cache"][$pref_name]["type"] = $type_name;
44 $_SESSION["prefs_cache"][$pref_name]["value"] = $value;
46 return convert_pref_type($value, $type_name);
49 die("Fatal error, unknown preferences key: $pref_name");
53 function convert_pref_type($value, $type_name) {
54 if ($type_name == "bool") {
55 return $value == "true";
56 } else if ($type_name == "integer") {
57 return sprintf("%d", $value);
63 // doesn't peform any type checking, be vigilant
65 function set_pref($link, $key, $value) {
66 $key = db_escape_string($key);
67 $value = db_escape_string($value);
69 db_query($link, "UPDATE ttrss_user_prefs SET
70 value = '$value' WHERE pref_name = '$key'
71 AND owner_uid = " . $_SESSION["uid"]);
73 $_SESSION["prefs_cache"] = array();