remove stupid DISABLE_SESSIONS kludge, check if constant is defined, not true

This commit is contained in:
Andrew Dolgov 2006-03-31 06:30:20 +01:00
parent 5854b0164d
commit 9a3bb96a87
4 changed files with 2 additions and 7 deletions

View File

@ -3913,7 +3913,7 @@
"SESSION_COOKIE_LIFETIME_REMEMBER"; "SESSION_COOKIE_LIFETIME_REMEMBER";
} }
if (defined('DISABLE_SESSIONS') && DISABLE_SESSIONS) { if (defined('DISABLE_SESSIONS')) {
return "config: you have enabled DISABLE_SESSIONS. Please disable this option."; return "config: you have enabled DISABLE_SESSIONS. Please disable this option.";
} }

View File

@ -91,13 +91,9 @@
define('ENABLE_UPDATE_DAEMON', false); define('ENABLE_UPDATE_DAEMON', false);
// This enables different mechanism for user-triggered updates designed // This enables different mechanism for user-triggered updates designed
// for update daemon running in background on the server. // for update daemon running in background on the server.
// This option suggests FEEDS_FRAME_REFRESH set to a small value // This option suggests FEEDS_FRAME_REFRESH set to a small value
// (like 60 seconds, depending on number of users and server/bandwidth load). // (like 60 seconds, depending on number of users and server/bandwidth load).
define('DISABLE_SESSIONS', false);
// Never enable this option (kludge for daemon using tt-rss code)
define('DAEMON_SLEEP_INTERVAL', 120); define('DAEMON_SLEEP_INTERVAL', 120);
// Interval between update daemon update runs // Interval between update daemon update runs

View File

@ -2,7 +2,7 @@
require_once "config.php"; require_once "config.php";
require_once "db.php"; require_once "db.php";
if (! DISABLE_SESSIONS) { if (!defined('DISABLE_SESSIONS')) {
if (!$_SESSION["prefs_cache"]) if (!$_SESSION["prefs_cache"])
$_SESSION["prefs_cache"] = array(); $_SESSION["prefs_cache"] = array();
} }

View File

@ -1073,7 +1073,6 @@ div.cdmContent a:hover {
#fatal_error_msg { #fatal_error_msg {
border : 1px solid #c0c0c0; border : 1px solid #c0c0c0;
background-color : #f0f0f0; background-color : #f0f0f0;
width : 50%;
color : black; color : black;
padding : 10px; padding : 10px;
font-weight : normal; font-weight : normal;