Commit 821deb30 authored by mrfelton's avatar mrfelton Committed by bgm

Issue #1242416: use !empty() instead of isset(), because variable might be set, but empty.

parent b27eb496
......@@ -164,7 +164,7 @@ function boost_init() {
|| isset($_GET['nocache'])
|| variable_get('maintenance_mode', 0)
|| defined('MAINTENANCE_MODE')
|| isset($_SESSION['messages']) // do not cache pages with messages
|| !empty($_SESSION['messages']) // do not cache pages with messages
) {
$_boost['cache_this'] = FALSE;
}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment