removed sessionhelper. we should let this handle the server administrator within the PHP config
parent
ab50115746
commit
8c1f6d2c9c
@ -1,30 +0,0 @@
|
|||||||
<?php
|
|
||||||
/**
|
|
||||||
* Set lifetime of php session.
|
|
||||||
*
|
|
||||||
* @param int $lifetime
|
|
||||||
* Lifetime in minutes
|
|
||||||
* @param string $application_name
|
|
||||||
* Name of the application
|
|
||||||
*/
|
|
||||||
function session_lifetime($lifetime, $application_name) {
|
|
||||||
// Set session save path and name
|
|
||||||
$session_save_path = '/tmp/' . $application_name;
|
|
||||||
if (! file_exists($session_save_path))
|
|
||||||
mkdir($session_save_path);
|
|
||||||
if (file_exists($session_save_path))
|
|
||||||
session_save_path($session_save_path);
|
|
||||||
session_name($application_name);
|
|
||||||
|
|
||||||
// Set session lifetime
|
|
||||||
ini_set('session.gc_maxlifetime', $lifetime * 60);
|
|
||||||
ini_set('session.gc_probability', 1);
|
|
||||||
ini_set('session.gc_divisor', 100);
|
|
||||||
|
|
||||||
// Cookie settings (lifetime)
|
|
||||||
ini_set('session.cookie_secure', ! (isset($_SERVER['HTTP_HOST']) && preg_match("/^localhost/", $_SERVER["HTTP_HOST"]) || isset($_GET['debug'])));
|
|
||||||
ini_set('session.use_only_cookies', true);
|
|
||||||
ini_set('session.cookie_lifetime', $lifetime * 60);
|
|
||||||
}
|
|
||||||
|
|
||||||
?>
|
|
Loading…
Reference in New Issue