Save scroll position

[gosa.git] / gosa-core / include / class_session.inc

diff --git a/gosa-core/include/class_session.inc b/gosa-core/include/class_session.inc
index 3cf75fd1f7a3715ae928bc1ff1f8c6ecbafced9d..9d298cd9eabdf7b9a2933f39fcafe2aec58a8418 100644 (file)
--- a/gosa-core/include/class_session.inc
+++ b/gosa-core/include/class_session.inc
@@ -59,11 +59,6 @@ class session {
                return (FALSE);
        }
 
-       public static function channel_exists($name)
-       {
-               return (isset($_SESSION[$name]));
-       }
-
        public static function is_set($name)
        {
                $channel= "";
@@ -191,6 +186,7 @@ class session {
                   !! 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 */
@@ -198,6 +194,7 @@ class session {
                {
                        if ($_SESSION['HTTP_USER_AGENT'] !=  md5($_SERVER['HTTP_USER_AGENT'])) {
                                session_destroy();
+                               session_name("GOsa");
                                session_start();
                        }
                } else {