From c2e20d9afebfa0b4306083121deba60b1ec879f8 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Felix=20D=C3=B6rre?= <felix@dogcraft.de>
Date: Sat, 21 Jun 2014 21:41:36 +0200
Subject: [PATCH] Set http session name to "CACert-Session"

---
 src/org/cacert/gigi/Launcher.java | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/org/cacert/gigi/Launcher.java b/src/org/cacert/gigi/Launcher.java
index 56306a98..9debdd13 100644
--- a/src/org/cacert/gigi/Launcher.java
+++ b/src/org/cacert/gigi/Launcher.java
@@ -21,6 +21,7 @@ import org.eclipse.jetty.server.HttpConnectionFactory;
 import org.eclipse.jetty.server.SecureRequestCustomizer;
 import org.eclipse.jetty.server.Server;
 import org.eclipse.jetty.server.ServerConnector;
+import org.eclipse.jetty.server.SessionManager;
 import org.eclipse.jetty.server.SslConnectionFactory;
 import org.eclipse.jetty.server.handler.ContextHandler;
 import org.eclipse.jetty.server.handler.HandlerList;
@@ -65,6 +66,8 @@ public class Launcher {
 	private static ServletContextHandler generateGigiContext() {
 		ServletContextHandler servlet = new ServletContextHandler(
 				ServletContextHandler.SESSIONS);
+		servlet.setInitParameter(SessionManager.__SessionCookieProperty,
+				"CACert-Session");
 		servlet.addServlet(new ServletHolder(new Gigi()), "/*");
 		return servlet;
 	}
-- 
2.39.2