$dbname = "${env.mysql.database}";
$dbuser = "${env.mysql.user}";
$dbpass = "${env.mysql.password}";
- $dbport = "${env.mysql.port}";
+ $dbport = "${builtins.toString env.mysql.port}";
$anonymous_key = "${env.anonymous_key}";
?>
'';
"pm.max_children" = "60";
"pm.process_idle_timeout" = "60";
+ "php_admin_value[session.save_handler]" = "redis";
+ "php_admin_value[session.save_path]" = "'unix:///run/redis-php-sessions/redis.sock?persistent=1&prefix=Tools:DmarcReports:'";
# Needed to avoid clashes in browser cookies (same domain)
"php_admin_value[open_basedir]" = "${basedir}:/tmp";
};