index 0d543e689618ecda8c9549c41e1574e2696dbec5..9d298cd9eabdf7b9a2933f39fcafe2aec58a8418 100644 (file)
!! The garbage collector is a cron job on debian systems, the cronjob will fetch the timeout from
the php.ini, so if you use debian, you must hardcode session.gc_maxlifetime in your php.ini */
ini_set("session.gc_maxlifetime",24*60*60);
+ session_name("GOsa");
session_start();
/* Check for changed browsers and bail out */
{
if ($_SESSION['HTTP_USER_AGENT'] != md5($_SERVER['HTTP_USER_AGENT'])) {
session_destroy();
+ session_name("GOsa");
session_start();
}
} else {