From c8e019b6a331a14d868a952ffab07bded2315390 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Isma=C3=ABl=20Bouya?= <ismael.bouya@normalesup.org>
Date: Tue, 8 Jan 2019 00:45:37 +0100
Subject: Move each php session to a private destination

---
 virtual/packages/adminer.nix | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'virtual/packages/adminer.nix')

diff --git a/virtual/packages/adminer.nix b/virtual/packages/adminer.nix
index 034f0d4..d2800aa 100644
--- a/virtual/packages/adminer.nix
+++ b/virtual/packages/adminer.nix
@@ -26,7 +26,10 @@ let
         pm.max_children = 5
         pm.process_idle_timeout = 60
         ;php_admin_flag[log_errors] = on
+        ; Needed to avoid clashes in browser cookies (same domain)
+        php_value[session.name] = AdminerPHPSESSID
         php_admin_value[open_basedir] = "${webRoot}:/tmp"
+        php_admin_value[session.save_path] = "/var/lib/php/sessions/adminer"
         '';
     };
     apache = {
-- 
cgit v1.2.3