index 3cf75fd1f7a3715ae928bc1ff1f8c6ecbafced9d..7d8524c7383d7f3488002c2ad8c9dcc27d69a47f 100644 (file)
return (FALSE);
}
return (FALSE);
}
- public static function channel_exists($name)
- {
- return (isset($_SESSION[$name]));
- }
-
public static function is_set($name)
{
$channel= "";
public static function is_set($name)
{
$channel= "";
/* Sanity check */
if (!session::channel_exists($channel)){
/* Sanity check */
if (!session::channel_exists($channel)){
- msg_dialog::display(_("Internal error"), _("Requested channel does not exist! Please contact your Administrator."), FATAL_ERROR_DIALOG);
+ msg_dialog::display(_("Internal error"), _("Requested channel does not exist!"), FATAL_ERROR_DIALOG);
}
$channel= "gch_".$channel;
}
$channel= "gch_".$channel;
} else {
/* Sanity check */
if (!session::channel_exists($channel)){
} else {
/* Sanity check */
if (!session::channel_exists($channel)){
- msg_dialog::display(_("Internal error"), _("Requested channel does not exist! Please contact your Administrator."), FATAL_ERROR_DIALOG);
+ msg_dialog::display(_("Internal error"), _("Requested channel does not exist!"), FATAL_ERROR_DIALOG);
}
$_SESSION[$channel][$name] = $value;
}
}
$_SESSION[$channel][$name] = $value;
}
/* Sanity check */
if (!session::channel_exists($channel)){
/* Sanity check */
if (!session::channel_exists($channel)){
- msg_dialog::display(_("Internal error"), _("Requested channel does not exist! Please contact your Administrator."), FATAL_ERROR_DIALOG);
+ msg_dialog::display(_("Internal error"), _("Requested channel does not exist!"), FATAL_ERROR_DIALOG);
}
$channel= "gch_".$channel;
}
$channel= "gch_".$channel;
!! 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);
!! 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 */
session_start();
/* Check for changed browsers and bail out */
{
if ($_SESSION['HTTP_USER_AGENT'] != md5($_SERVER['HTTP_USER_AGENT'])) {
session_destroy();
{
if ($_SESSION['HTTP_USER_AGENT'] != md5($_SERVER['HTTP_USER_AGENT'])) {
session_destroy();
+ session_name("GOsa");
session_start();
}
} else {
session_start();
}
} else {