Migrate php sessions to redis

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

diff --git a/modules/private/websites/tools/performance/default.nix b/modules/private/websites/tools/performance/default.nix
index 5715ff08318a9c2b289d1e83c8470b65b7a3dcb8..56da3e5d1c262e74c1e177d790f2ff580a4825c0 100644 (file)
--- a/modules/private/websites/tools/performance/default.nix
+++ b/modules/private/websites/tools/performance/default.nix
@@ -79,9 +79,11 @@ in
         "pm.min_spare_servers" = "1";
         "pm.max_spare_servers" = "10";
 
+        "php_admin_value[session.save_handler]" = "redis";
+        "php_admin_value[session.save_path]" = "'unix:///run/redis-php-sessions/redis.sock?persistent=1&prefix=Tools:StatusEngine:'";
         "php_admin_value[open_basedir]" = "${package}:/tmp:${config.secrets.fullPaths."status_engine_ui"}";
       };
-      phpPackage = pkgs.php74;
+      phpPackage = pkgs.php74.withExtensions({ enabled, all }: enabled ++ [ all.redis ]);
     };
 
   };