Migrate php sessions to redis

[perso/Immae/Config/Nix.git] / modules / private / websites / tools / tools / adminer.nix

diff --git a/modules/private/websites/tools/tools/adminer.nix b/modules/private/websites/tools/tools/adminer.nix
index c280684c2f9fcd919508f238ac3a3c85a442bb24..8bdd889452f219b7959cb6518c7527b8867a577c 100644 (file)
--- a/modules/private/websites/tools/tools/adminer.nix
+++ b/modules/private/websites/tools/tools/adminer.nix
@@ -1,16 +1,10 @@
 { webapps, php74, myPhpPackages, lib, forcePhpSocket ? null }:
 rec {
-  activationScript = {
-    deps = [ "httpd" ];
-    text = ''
-      install -m 0755 -o ${apache.user} -g ${apache.group} -d /var/lib/php/sessions/adminer
-      '';
-  };
   webRoot = webapps.adminer;
   phpFpm = rec {
     user = apache.user;
     group = apache.group;
-    phpPackage = php74.withExtensions ({ enabled, all }: (lib.remove all.mysqli enabled) ++ [myPhpPackages.mysqli_pam]);
+    phpPackage = php74.withExtensions ({ enabled, all }: (lib.remove all.mysqli enabled) ++ [myPhpPackages.mysqli_pam all.redis]);
     settings = {
       "listen.owner" = apache.user;
       "listen.group" = apache.group;
@@ -20,8 +14,9 @@ rec {
       #"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:/var/lib/php/sessions/adminer";
-      "php_admin_value[session.save_path]" = "/var/lib/php/sessions/adminer";
+      "php_admin_value[open_basedir]" = "${webRoot}:/tmp";
+      "php_admin_value[session.save_handler]" = "redis";
+      "php_admin_value[session.save_path]" = "'unix:///run/redis-php-sessions/redis.sock?persistent=1&prefix=Tools:Adminer:'";
     };
   };
   apache = rec {