Move each php session to a private destination

[perso/Immae/Config/Nix.git] / virtual / packages / adminer.nix

diff --git a/virtual/packages/adminer.nix b/virtual/packages/adminer.nix
index 35fa791932fa128d597989a4e8d78ee3c406463d..d2800aae7b14c876b9a004e13ce5dcf536898975 100644 (file)
--- a/virtual/packages/adminer.nix
+++ b/virtual/packages/adminer.nix
@@ -1,11 +1,10 @@
-with import ../../libs.nix;
-with nixpkgs_unstable;
+{ stdenv, fetchurl, nginx }:
 let
   adminer = rec {
-    webRoot = pkgs.stdenv.mkDerivation rec {
+    webRoot = stdenv.mkDerivation rec {
       version = "4.7.0";
       name = "adminer-${version}";
-      src = pkgs.fetchurl {
+      src = fetchurl {
         url = "https://www.adminer.org/static/download/${version}/${name}.php";
         sha256 = "1qq2g7rbfh2vrqfm3g0bz0qs057b049n0mhabnsbd1sgnpvnc5z7";
       };
@@ -27,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 = {
@@ -48,7 +50,7 @@ let
       alias = webRoot;
       index = "index.php";
       extraConfig = ''
-        include ${pkgs.nginx}/conf/fastcgi.conf;
+        include ${nginx}/conf/fastcgi.conf;
         fastcgi_split_path_info ^(.+?\.php)(/.*)$;
         fastcgi_param HTTP_PROXY "";
         fastcgi_param SCRIPT_FILENAME ${webRoot}/index.php;