X-Git-Url: https://git.immae.eu/?a=blobdiff_plain;f=modules%2Fprivate%2Fwebsites%2Fisabelle%2Faten_integration.nix;h=0655c7b349f5e59b83181f8232c6b30064425a6d;hb=bbea22c02b6c059a6be1064391f06737ee244ba6;hp=21ed00f50066c6d0dbceb65c796a8494d35177c5;hpb=17c6ac45b0c4333dc774228a2837699de9443f8d;p=perso%2FImmae%2FConfig%2FNix.git

diff --git a/modules/private/websites/isabelle/aten_integration.nix b/modules/private/websites/isabelle/aten_integration.nix
index 21ed00f..0655c7b 100644
--- a/modules/private/websites/isabelle/aten_integration.nix
+++ b/modules/private/websites/isabelle/aten_integration.nix
@@ -6,7 +6,6 @@ let
   phpRoot = "${ftpRoot}/php";
   webRoot = "${phpRoot}/public";
   varDir = "${ftpRoot}/var";
-  sessionDir = "${ftpRoot}/sessions";
   packagePath = "/var/lib/ftp/release.immae.eu/buildbot/IsabelleAten";
   branch = "test";
 in {
@@ -24,7 +23,8 @@ in {
           config.secrets.fullPaths."websites/isabelle/aten_integration"
           "/tmp"
         ];
-        "php_admin_value[session.save_path]" = sessionDir;
+        "php_admin_value[session.save_handler]" = "redis";
+        "php_admin_value[session.save_path]" = "'unix:///run/redis-php-sessions/redis.sock?persistent=1&prefix=Isabelle:AtenIntegration:'";
         "php_admin_value[upload_max_filesize]" = "20M";
         "php_admin_value[post_max_size]" = "20M";
         #"php_admin_flag[log_errors]" = "on";
@@ -35,7 +35,7 @@ in {
       phpEnv = {
         SYMFONY_DEBUG_MODE = "\"yes\"";
       };
-      phpPackage = pkgs.php72;
+      phpPackage = pkgs.php72.withExtensions ({ enabled, all }: enabled ++ [all.redis]);
     };
     systemd.services."phpfpm-isabelle_aten_integration" = {
       after = lib.mkAfter ["postgresql.service"];
@@ -84,7 +84,7 @@ in {
     system.activationScripts.isabelle_aten_integration = {
       deps = ["users"];
       text = ''
-        install -m 0700 -o ${config.services.httpd.Inte.user} -g ${config.services.httpd.Inte.group} -d ${ftpRoot} ${sessionDir}
+        install -m 0700 -o ${config.services.httpd.Inte.user} -g ${config.services.httpd.Inte.group} -d ${ftpRoot}
       '';
     };