]>
git.wh0rd.org - tt-rss.git/blob - db-prefs.php
2 require_once "config.php";
5 if (!defined('DISABLE_SESSIONS')) {
6 if (!$_SESSION["prefs_cache"])
7 $_SESSION["prefs_cache"] = array();
10 function get_pref($link, $pref_name, $user_id = false, $die_on_error = false) {
12 $pref_name = db_escape_string($pref_name);
16 $user_id = $_SESSION["uid"];
17 $profile = $_SESSION["profile"];
19 $user_id = sprintf("%d", $user_id);
24 $profile_qpart = "profile = '$profile'";
26 $profile_qpart = "profile IS NULL";
30 if ($prefs_cache && !defined('DISABLE_SESSIONS') && !SINGLE_USER_MODE
) {
31 if ($_SESSION["prefs_cache"] && $_SESSION["prefs_cache"][$pref_name]) {
32 $tuple = $_SESSION["prefs_cache"][$pref_name];
33 return convert_pref_type($tuple["value"], $tuple["type"]);
37 $result = db_query($link, "SELECT
38 value,ttrss_prefs_types.type_name as type_name
40 ttrss_user_prefs,ttrss_prefs,ttrss_prefs_types
43 ttrss_user_prefs.pref_name = '$pref_name' AND
44 ttrss_prefs_types.id = type_id AND
45 owner_uid = '$user_id' AND
46 ttrss_user_prefs.pref_name = ttrss_prefs.pref_name");
48 if (db_num_rows($result) > 0) {
49 $value = db_fetch_result($result, 0, "value");
50 $type_name = db_fetch_result($result, 0, "type_name");
52 if (!defined('DISABLE_SESSIONS') && !SINGLE_USER_MODE
) {
53 if ($user_id = $_SESSION["uid"]) {
54 $_SESSION["prefs_cache"][$pref_name]["type"] = $type_name;
55 $_SESSION["prefs_cache"][$pref_name]["value"] = $value;
59 return convert_pref_type($value, $type_name);
63 die("Fatal error, unknown preferences key: $pref_name");
70 function convert_pref_type($value, $type_name) {
71 if ($type_name == "bool") {
72 return $value == "true";
73 } else if ($type_name == "integer") {
74 return sprintf("%d", $value);
80 function set_pref($link, $key, $value, $user_id = false) {
81 $key = db_escape_string($key);
82 $value = db_escape_string($value);
85 $user_id = $_SESSION["uid"];
86 $profile = $_SESSION["profile"];
88 $user_id = sprintf("%d", $user_id);
93 $profile_qpart = "profile = '$profile'";
95 $profile_qpart = "profile IS NULL";
98 $result = db_query($link, "SELECT type_name
99 FROM ttrss_prefs,ttrss_prefs_types
100 WHERE pref_name = '$key' AND type_id = ttrss_prefs_types.id");
102 if (db_num_rows($result) > 0) {
104 $type_name = db_fetch_result($result, 0, "type_name");
106 if ($type_name == "bool") {
107 if ($value == "1" ||
$value == "true") {
112 } else if ($type_name == "integer") {
113 $value = sprintf("%d", $value);
116 if ($pref_name == 'DEFAULT_ARTICLE_LIMIT' && $value == 0) {
120 db_query($link, "UPDATE ttrss_user_prefs SET
121 value = '$value' WHERE pref_name = '$key'
123 AND owner_uid = " . $_SESSION["uid"]);
125 $_SESSION["prefs_cache"] = array();