public/tt-rss
1
0
Fork 0
mirror of https://git.tt-rss.org/git/tt-rss.git synced 2025-12-13 20:45:55 +00:00
Code Issues Releases Wiki Activity

mobile: properly save preferences

Browse Source
This commit is contained in:
Andrew Dolgov
2010-01-11 14:06:19 +03:00
parent fbaca24658
commit e9105eb50d
6 changed files with 56 additions and 42 deletions
Download Patch File Download Diff File Expand all files Collapse all files

33
db-prefs.php
View File

@@ -73,12 +73,35 @@
function set_pref($link, $key, $value) {
$key = db_escape_string($key);
$value = db_escape_string($value);
db_query($link, "UPDATE ttrss_user_prefs SET
value = '$value' WHERE pref_name = '$key'
AND owner_uid = " . $_SESSION["uid"]);
$_SESSION["prefs_cache"] = array();
$result = db_query($link, "SELECT type_name
FROM ttrss_prefs,ttrss_prefs_types
WHERE pref_name = '$key' AND type_id = ttrss_prefs_types.id");
if (db_num_rows($result) > 0) {
$type_name = db_fetch_result($result, 0, "type_name");
if ($type_name == "bool") {
if ($value == "1" || $value == "true") {
$value = "true";
} else {
$value = "false";
}
} else if ($type_name == "integer") {
$value = sprintf("%d", $value);
}
if ($pref_name == 'DEFAULT_ARTICLE_LIMIT' && $value == 0) {
$value = 30;
}
db_query($link, "UPDATE ttrss_user_prefs SET
value = '$value' WHERE pref_name = '$key'
AND owner_uid = " . $_SESSION["uid"]);
$_SESSION["prefs_cache"] = array();
}
}
?>