index 2d14d1f5ec0aa01df08c9f76ead213f893fa91ab..7d8524c7383d7f3488002c2ad8c9dcc27d69a47f 100644 (file)
}
}
+ public static function add_channel($name)
+ {
+ /* If there's already such kind of channel, skip... */
+ if (isset($_SESSION[$name])){
+ return (FALSE);
+ }
+
+ /* Allocate it... */
+ $_SESSION[$name]= array();
+ $_POST["_channel_"]= $name;
+ return (TRUE);
+ }
+
+ public static function remove_channel($name)
+ {
+ /* If there's already such kind of channel, skip... */
+ if (isset($_SESSION[$name])){
+ unset($_SESSION[$name]);
+ if (isset($_POST["_channel_"])){
+ unset($_POST["_channel_"]);
+ }
+ return (TRUE);
+ }
+
+ return (FALSE);
+ }
+
public static function is_set($name)
public static function is_set($name)
+ {
+ $channel= "";
+ if (isset($_POST['_channel_'])){
+ $channel= $_POST['_channel_'];
+ }
+
+ /* Global fallback if not set */
+ if ($channel == ""){
+ return(isset($_SESSION[$name]));
+ }
+
+ /* Sanity check */
+ if (!session::channel_exists($channel)){
+ msg_dialog::display(_("Internal error"), _("Requested channel does not exist!"), FATAL_ERROR_DIALOG);
+ }
+
+ $channel= "gch_".$channel;
+ return(isset($_SESSION[$channel][$name]));
+ }
+
+ public static function global_is_set($name)
{
return(isset($_SESSION[$name]));
}
public static function set($name,$value)
{
return(isset($_SESSION[$name]));
}
public static function set($name,$value)
+ {
+ $channel= "";
+ if (isset($_POST['_channel_'])){
+ $channel= $_POST['_channel_'];
+ }
+
+ /* Global fallback if not set */
+ if ($channel == ""){
+ $_SESSION[$name] = $value;
+ } else {
+ /* Sanity check */
+ if (!session::channel_exists($channel)){
+ msg_dialog::display(_("Internal error"), _("Requested channel does not exist!"), FATAL_ERROR_DIALOG);
+ }
+ $_SESSION[$channel][$name] = $value;
+ }
+ }
+
+ public static function global_set($name,$value)
{
$_SESSION[$name] = $value;
}
public static function &get($name)
{
$_SESSION[$name] = $value;
}
public static function &get($name)
+ {
+ $channel= "";
+ if (isset($_POST['_channel_'])){
+ $channel= $_POST['_channel_'];
+ }
+
+ /* Global fallback if not set */
+ if ($channel == ""){
+ $ret = &$_SESSION[$name];
+ return($ret);
+ }
+
+ /* Sanity check */
+ if (!session::channel_exists($channel)){
+ msg_dialog::display(_("Internal error"), _("Requested channel does not exist!"), FATAL_ERROR_DIALOG);
+ }
+
+ $channel= "gch_".$channel;
+ $ret = &$_SESSION[$channel][$name];
+ return($ret);
+ }
+
+ public static function &global_get($name)
{
$ret = &$_SESSION[$name];
return($ret);
{
$ret = &$_SESSION[$name];
return($ret);
public static function delete($name)
{
public static function delete($name)
{
- if(session::is_set($name)){
+ $channel= "";
+ if (isset($_POST['_channel_'])){
+ $channel= $_POST['_channel_'];
+ }
+
+ /* Global fallback if not set */
+ if ($channel == ""){
+ if(isset($_SESSION[$name])){
+ unset($_SESSION[$name]);
+ }
+ } else {
+ if(isset($_SESSION[$channel][$name])){
+ unset($_SESSION[$channel][$name]);
+ }
+ }
+ }
+
+ public static function global_delete($name)
+ {
+ if($_SESSION[$name]){
unset($_SESSION[$name]);
}
}
unset($_SESSION[$name]);
}
}
return(session::delete($name));
}
return(session::delete($name));
}
+ public static function global_un_set($name)
+ {
+ return(session::global_delete($name));
+ }
+
public static function start()
{
/* Set cookie lifetime to one day (The parameter is in seconds ) */
public static function start()
{
/* Set cookie lifetime to one day (The parameter is in seconds ) */
!! 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 {