2014-04-14 15:26:48 +01:00
|
|
|
{ config, lib, pkgs, ... }:
|
2014-03-11 22:46:57 +00:00
|
|
|
|
2014-04-14 15:26:48 +01:00
|
|
|
with lib;
|
2014-03-11 22:46:57 +00:00
|
|
|
|
|
|
|
let
|
|
|
|
cfg = config.services.phpfpm;
|
|
|
|
|
|
|
|
stateDir = "/run/phpfpm";
|
|
|
|
|
2017-01-25 22:21:33 +00:00
|
|
|
poolConfigs = cfg.poolConfigs // mapAttrs mkPool cfg.pools;
|
|
|
|
|
2016-06-19 22:42:26 +01:00
|
|
|
mkPool = n: p: ''
|
|
|
|
listen = ${p.listen}
|
|
|
|
${p.extraConfig}
|
|
|
|
'';
|
|
|
|
|
2017-01-25 22:21:33 +00:00
|
|
|
fpmCfgFile = pool: poolConfig: pkgs.writeText "phpfpm-${pool}.conf" ''
|
2014-03-11 22:46:57 +00:00
|
|
|
[global]
|
|
|
|
error_log = syslog
|
2016-10-05 16:30:31 +01:00
|
|
|
daemonize = no
|
2014-03-11 22:46:57 +00:00
|
|
|
${cfg.extraConfig}
|
|
|
|
|
2017-01-25 22:21:33 +00:00
|
|
|
[${pool}]
|
|
|
|
${poolConfig}
|
2014-03-11 22:46:57 +00:00
|
|
|
'';
|
|
|
|
|
2017-02-26 12:29:46 +00:00
|
|
|
phpIni = pkgs.runCommand "php.ini" {
|
|
|
|
inherit (cfg) phpPackage phpOptions;
|
|
|
|
passAsFile = [ "phpOptions" ];
|
|
|
|
} ''
|
|
|
|
cat $phpPackage/etc/php.ini $phpOptionsFile > $out
|
2016-04-29 07:26:20 +01:00
|
|
|
'';
|
|
|
|
|
2014-03-11 22:46:57 +00:00
|
|
|
in {
|
|
|
|
|
|
|
|
options = {
|
|
|
|
services.phpfpm = {
|
|
|
|
extraConfig = mkOption {
|
2014-03-12 10:45:31 +00:00
|
|
|
type = types.lines;
|
2014-03-11 22:46:57 +00:00
|
|
|
default = "";
|
|
|
|
description = ''
|
|
|
|
Extra configuration that should be put in the global section of
|
2016-09-27 02:20:22 +01:00
|
|
|
the PHP-FPM configuration file. Do not specify the options
|
2016-10-05 16:30:31 +01:00
|
|
|
<literal>error_log</literal> or
|
2014-03-11 22:46:57 +00:00
|
|
|
<literal>daemonize</literal> here, since they are generated by
|
|
|
|
NixOS.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
2014-04-10 06:52:26 +01:00
|
|
|
phpPackage = mkOption {
|
2016-01-17 18:34:55 +00:00
|
|
|
type = types.package;
|
2015-07-17 17:09:50 +01:00
|
|
|
default = pkgs.php;
|
2016-01-17 18:34:55 +00:00
|
|
|
defaultText = "pkgs.php";
|
2014-04-10 06:52:26 +01:00
|
|
|
description = ''
|
2016-09-27 02:20:22 +01:00
|
|
|
The PHP package to use for running the PHP-FPM service.
|
2014-04-10 06:52:26 +01:00
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
2016-04-29 07:26:20 +01:00
|
|
|
phpOptions = mkOption {
|
|
|
|
type = types.lines;
|
|
|
|
default = "";
|
|
|
|
example =
|
|
|
|
''
|
|
|
|
date.timezone = "CET"
|
|
|
|
'';
|
|
|
|
description =
|
|
|
|
"Options appended to the PHP configuration file <filename>php.ini</filename>.";
|
2014-06-07 16:34:27 +01:00
|
|
|
};
|
|
|
|
|
2016-07-26 21:44:34 +01:00
|
|
|
poolConfigs = mkOption {
|
2014-03-11 22:46:57 +00:00
|
|
|
default = {};
|
2016-06-19 22:42:26 +01:00
|
|
|
type = types.attrsOf types.lines;
|
2016-07-26 21:44:34 +01:00
|
|
|
example = literalExample ''
|
|
|
|
{ mypool = '''
|
|
|
|
listen = /run/phpfpm/mypool
|
|
|
|
user = nobody
|
|
|
|
pm = dynamic
|
|
|
|
pm.max_children = 75
|
|
|
|
pm.start_servers = 10
|
|
|
|
pm.min_spare_servers = 5
|
|
|
|
pm.max_spare_servers = 20
|
|
|
|
pm.max_requests = 500
|
|
|
|
''';
|
|
|
|
}
|
|
|
|
'';
|
2014-03-11 22:46:57 +00:00
|
|
|
description = ''
|
2016-09-27 02:20:22 +01:00
|
|
|
A mapping between PHP-FPM pool names and their configurations.
|
2016-07-26 21:44:34 +01:00
|
|
|
See the documentation on <literal>php-fpm.conf</literal> for
|
|
|
|
details on configuration directives. If no pools are defined,
|
|
|
|
the phpfpm service is disabled.
|
2014-03-11 22:46:57 +00:00
|
|
|
'';
|
|
|
|
};
|
2016-06-19 22:42:26 +01:00
|
|
|
|
|
|
|
pools = mkOption {
|
|
|
|
type = types.attrsOf (types.submodule (import ./pool-options.nix {
|
|
|
|
inherit lib;
|
|
|
|
}));
|
|
|
|
default = {};
|
2016-09-27 02:20:22 +01:00
|
|
|
example = literalExample ''
|
|
|
|
{
|
|
|
|
mypool = {
|
|
|
|
listen = "/path/to/unix/socket";
|
|
|
|
extraConfig = '''
|
|
|
|
user = nobody
|
|
|
|
pm = dynamic
|
|
|
|
pm.max_children = 75
|
|
|
|
pm.start_servers = 10
|
|
|
|
pm.min_spare_servers = 5
|
|
|
|
pm.max_spare_servers = 20
|
|
|
|
pm.max_requests = 500
|
|
|
|
''';
|
|
|
|
}
|
|
|
|
}'';
|
2016-06-19 22:42:26 +01:00
|
|
|
description = ''
|
2016-09-27 02:20:22 +01:00
|
|
|
PHP-FPM pools. If no pools or poolConfigs are defined, the PHP-FPM
|
|
|
|
service is disabled.
|
2016-06-19 22:42:26 +01:00
|
|
|
'';
|
|
|
|
};
|
2014-03-11 22:46:57 +00:00
|
|
|
};
|
|
|
|
};
|
|
|
|
|
2017-01-25 22:21:33 +00:00
|
|
|
config = {
|
|
|
|
systemd.services = flip mapAttrs' poolConfigs (pool: poolConfig:
|
|
|
|
nameValuePair "phpfpm-${pool}" {
|
|
|
|
description = "PHP FastCGI Process Manager for pool ${pool}";
|
|
|
|
after = [ "network.target" ];
|
|
|
|
wantedBy = [ "multi-user.target" ];
|
|
|
|
preStart = ''
|
|
|
|
mkdir -p ${stateDir}
|
|
|
|
'';
|
|
|
|
serviceConfig = let
|
|
|
|
cfgFile = fpmCfgFile pool poolConfig;
|
|
|
|
in {
|
|
|
|
PrivateTmp = true;
|
|
|
|
PrivateDevices = true;
|
|
|
|
ProtectSystem = "full";
|
|
|
|
ProtectHome = true;
|
|
|
|
NoNewPrivileges = true;
|
|
|
|
RestrictAddressFamilies = "AF_UNIX AF_INET AF_INET6";
|
|
|
|
Type = "notify";
|
|
|
|
ExecStart = "${cfg.phpPackage}/bin/php-fpm -y ${cfgFile} -c ${phpIni}";
|
|
|
|
ExecReload = "${pkgs.coreutils}/bin/kill -USR2 $MAINPID";
|
|
|
|
};
|
|
|
|
}
|
|
|
|
);
|
2014-03-11 22:46:57 +00:00
|
|
|
};
|
|
|
|
}
|