diff --git a/backend.php b/backend.php
index 954c4daca..958ca26f6 100644
--- a/backend.php
+++ b/backend.php
@@ -16,7 +16,6 @@
$script_started = getmicrotime();
$link = db_connect(DB_HOST, DB_USER, DB_PASS, DB_NAME);
- $dbprefs_link = $link;
if (!$link) {
if (DB_TYPE == "mysql") {
diff --git a/db-prefs.php b/db-prefs.php
index c0f6159e7..38382193d 100644
--- a/db-prefs.php
+++ b/db-prefs.php
@@ -3,20 +3,27 @@
require_once "config.php";
require_once "db.php";
- global $dbprefs_link;
-
- function get_pref($pref_name) {
+ function get_pref($link, $pref_name) {
$pref_name = db_escape_string($pref_name);
- $result = db_query($dbprefs_link, "SELECT
- value,ttrss_prefs_types.id as type_name
+ $result = db_query($link, "SELECT
+ value,ttrss_prefs_types.type_name as type_name
FROM ttrss_prefs,ttrss_prefs_types
WHERE pref_name = '$pref_name' AND ttrss_prefs_types.id = type_id");
if (db_num_rows($result) > 0) {
$value = db_fetch_result($result, 0, "value");
- return $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");
}
diff --git a/tt-rss.php b/tt-rss.php
index 2d29d4455..a6a1842c6 100644
--- a/tt-rss.php
+++ b/tt-rss.php
@@ -1,13 +1,17 @@
- require_once "version.php" ?>
- require_once "config.php" ?>
+
+ require_once "version.php";
+ require_once "config.php";
+ require_once "db-prefs.php";
+ $link = db_connect(DB_HOST, DB_USER, DB_PASS, DB_NAME);
+?>
Tiny Tiny RSS
- if (USE_COMPACT_STYLESHEET) { ?>
+ if (get_pref($link, 'USE_COMPACT_STYLESHEET')) { ?>
@@ -28,7 +32,7 @@
- if (ENABLE_SPLASH) { ?>
+ if (get_pref($link, 'ENABLE_SPLASH')) { ?>
@@ -39,7 +43,7 @@
} ?>
- if (DISPLAY_HEADER) { ?>
+ if (get_pref($link, 'DISPLAY_HEADER')) { ?>
|