From c5c832c43a39dc68c66861ee59d16cc1e4e91d41 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jaime=20P=C3=A9rez=20Crespo?= <jaime.perez@uninett.no>
Date: Fri, 21 Apr 2017 14:46:39 +0200
Subject: [PATCH] Set a default session name for PHP sessions.

The default values are fine if no other applications use PHP sessions. However, when other apps are using PHP sessions, a conflict arises with the defaults, so let's try to make the defaults a bit more resilient.
---
 config-templates/config.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/config-templates/config.php b/config-templates/config.php
index d9aa0f47d..c3e8bb930 100644
--- a/config-templates/config.php
+++ b/config-templates/config.php
@@ -503,7 +503,7 @@ $config = array(
     /*
      * Options to override the default settings for php sessions.
      */
-    'session.phpsession.cookiename' => null,
+    'session.phpsession.cookiename' => 'SimpleSAML',
     'session.phpsession.savepath' => null,
     'session.phpsession.httponly' => true,
 
-- 
GitLab