***********************************************************************/
define('VARLIB_PATH', $path_to_root.'/tmp');
define('VARLOG_PATH', $path_to_root.'/tmp');
***********************************************************************/
define('VARLIB_PATH', $path_to_root.'/tmp');
define('VARLOG_PATH', $path_to_root.'/tmp');
ini_set('session.gc_maxlifetime', 36000); // moved from below.
$Session_manager = new SessionManager();
ini_set('session.gc_maxlifetime', 36000); // moved from below.
$Session_manager = new SessionManager();
ini_set("display_errors", "On");
if ($SysPrefs->error_logfile != '') {
ini_set("display_errors", "On");
if ($SysPrefs->error_logfile != '') {
$_SESSION['timeout'] = array( 'uri'=>preg_replace('/JsHttpRequest=(?:(\d+)-)?([^&]+)/s',
'', html_specials_encode($_SERVER['REQUEST_URI'])),
'post' => $_POST);
$_SESSION['timeout'] = array( 'uri'=>preg_replace('/JsHttpRequest=(?:(\d+)-)?([^&]+)/s',
'', html_specials_encode($_SERVER['REQUEST_URI'])),
'post' => $_POST);