74 lines
1.9 KiB
PHP
74 lines
1.9 KiB
PHP
<?
|
|
require_once "config.php";
|
|
require_once "db.php";
|
|
|
|
if (! DISABLE_SESSIONS) {
|
|
if (!$_SESSION["prefs_cache"])
|
|
$_SESSION["prefs_cache"] = array();
|
|
}
|
|
|
|
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);
|
|
$prefs_cache = false;
|
|
}
|
|
|
|
if ($_SESSION["prefs_cache"] && $_SESSION["prefs_cache"][$pref_name]) {
|
|
$tuple = $_SESSION["prefs_cache"][$pref_name];
|
|
return convert_pref_type($tuple["value"], $tuple["type"]);
|
|
}
|
|
|
|
$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 ($user_id = $_SESSION["uid"]) {
|
|
$_SESSION["prefs_cache"][$pref_name]["type"] = $type_name;
|
|
$_SESSION["prefs_cache"][$pref_name]["value"] = $value;
|
|
}
|
|
return convert_pref_type($value, $type_name);
|
|
|
|
} else {
|
|
die("Fatal error, unknown preferences key: $pref_name");
|
|
}
|
|
}
|
|
|
|
function convert_pref_type($value, $type_name) {
|
|
if ($type_name == "bool") {
|
|
return $value == "true";
|
|
} else if ($type_name == "integer") {
|
|
return sprintf("%d", $value);
|
|
} else {
|
|
return $value;
|
|
}
|
|
}
|
|
|
|
// doesn't peform any type checking, be vigilant
|
|
|
|
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();
|
|
|
|
}
|
|
?>
|