Fix for if session has expired and user is still in login area

[mailer.git] / inc / pool-update.php

diff --git a/inc/pool-update.php b/inc/pool-update.php
index 8531d6087f9bd8f8c5e5fb99d32eccbfb0f2b273..30eb9f4e06c1c933d12d452854b4be94cdd1468f 100644 (file)
--- a/inc/pool-update.php
+++ b/inc/pool-update.php
@@ -38,7 +38,7 @@
 
 // Some security stuff...
 if (!defined('__SECURITY')) {
-       $INC = substr(dirname(__FILE__), 0, strpos(dirname(__FILE__), "/inc") + 4) . "/security.php";
+       $INC = substr(dirname(__FILE__), 0, strpos(dirname(__FILE__), '/inc') + 4) . '/security.php';
        require($INC);
 }
 
@@ -51,8 +51,12 @@ if (isResetModeEnabled()) {
 // Init counter
 $GLOBALS['pool_cnt'] = 0;
 
+// Init & set the include pool
+INIT_INC_POOL();
+SET_INC_POOL(getArrayFromDirectory('inc/pool/', 'pool-'));
+
 // Run the filter
-runFilterChain('load_includes', GET_DIR_AS_ARRAY("inc/pool/", "pool-"));
+runFilterChain('load_includes');
 
 // Remove counter again
 unset($GLOBALS['pool_cnt']);