From: Lucas Werkmeister <mail@lucaswerkmeister.de>
Date: Thu, 26 May 2016 19:11:05 +0000 (+0200)
Subject: Update session name for name change
X-Git-Url: https://code.wpia.club/?p=gigi.git;a=commitdiff_plain;h=6c10d13f4178ee1c2be2e669371f0e885661c859

Update session name for name change
---

diff --git a/src/org/cacert/gigi/Launcher.java b/src/org/cacert/gigi/Launcher.java
index 775823dc..763c21b4 100644
--- a/src/org/cacert/gigi/Launcher.java
+++ b/src/org/cacert/gigi/Launcher.java
@@ -308,7 +308,7 @@ public class Launcher {
             hw.setHandler(rh);
 
             ServletContextHandler servlet = new ServletContextHandler(ServletContextHandler.SESSIONS);
-            servlet.setInitParameter(SessionManager.__SessionCookieProperty, "CACert-Session");
+            servlet.setInitParameter(SessionManager.__SessionCookieProperty, "SomeCA-Session");
             servlet.addServlet(webAppServlet, "/*");
             ErrorPageErrorHandler epeh = new ErrorPageErrorHandler();
             epeh.addErrorPage(404, "/error");