if (isset($_REQUEST[$variable])) {
${$variable} = $_REQUEST[$variable] = $_GET[$variable] = $_POST[$variable] = (int) $_REQUEST[$variable];
}
}
//}}}
//{{{ define undefined variables
if (!isset($GLOBALS['feedback'])) {
$GLOBALS['feedback'] = "";
//By default the feedbak is empty
}
if (!IS_SCRIPT) {
// Prevent "Pragma: no-cache" to be sent to user (break https & IE)
session_cache_limiter(false);
session_start();
$cookie_manager = new CookieManager();
$GLOBALS['session_hash'] = $cookie_manager->isCookie('session_hash') ? $cookie_manager->getCookie('session_hash') : false;
}
//}}}
// Create cache directory if needed
if (!file_exists($GLOBALS['codendi_cache_dir'])) {
// This directory must be world reachable, but writable only by the web-server
mkdir($GLOBALS['codendi_cache_dir'], 0755);
}
// Instantiate System Event listener
require_once 'common/system_event/SystemEventManager.class.php';
$system_event_manager = SystemEventManager::instance();
//Load plugins
require_once 'common/plugin/PluginManager.class.php';
$plugin_manager =& PluginManager::instance();
$plugin_manager->loadPlugins();
$feedback = '';
if (isset($_REQUEST[$variable])) {
${$variable} = $_REQUEST[$variable] = $_GET[$variable] = $_POST[$variable] = (int) $_REQUEST[$variable];
}
}
//}}}
//{{{ define undefined variables
if (!isset($GLOBALS['feedback'])) {
$GLOBALS['feedback'] = "";
//By default the feedbak is empty
}
$cookie_manager = new CookieManager();
if (!IS_SCRIPT) {
// Prevent "Pragma: no-cache" to be sent to user (break https & IE)
session_cache_limiter(false);
session_start();
$GLOBALS['session_hash'] = $cookie_manager->isCookie('session_hash') ? $cookie_manager->getCookie('session_hash') : false;
}
//}}}
// Create cache directory if needed
if (!file_exists($GLOBALS['codendi_cache_dir'])) {
// This directory must be world reachable, but writable only by the web-server
mkdir($GLOBALS['codendi_cache_dir'], 0755);
}
// Instantiate System Event listener
$system_event_manager = SystemEventManager::instance();
//Load plugins
$plugin_manager =& PluginManager::instance();
$plugin_manager->loadPlugins();
$feedback = '';
// Initialize global var
//library to determine browser settings
public function isCookie($name)
{
$cookie_manager = new CookieManager();
return $cookie_manager->isCookie($name);
}
