X-Git-Url: https://git.tokkee.org/?a=blobdiff_plain;f=gosa-core%2Finclude%2Fclass_session.inc;h=7d8524c7383d7f3488002c2ad8c9dcc27d69a47f;hb=f7ebf98692ee53fcfffdc91b87d81a24ac19df0e;hp=3cf75fd1f7a3715ae928bc1ff1f8c6ecbafced9d;hpb=864658d46706cfb9c1f6ce941bcc9d3c3b58eef5;p=gosa.git

diff --git a/gosa-core/include/class_session.inc b/gosa-core/include/class_session.inc
index 3cf75fd1f..7d8524c73 100644
--- 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= "";
@@ -78,7 +73,7 @@ class session {
 
 		/* 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;
@@ -103,7 +98,7 @@ class session {
 		} 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;
 		}
@@ -129,7 +124,7 @@ class session {
 
 		/* 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;
@@ -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 {