2014-04-14 14:26:48 +00:00
|
|
|
{ config, lib, pkgs, ... }:
|
2014-03-11 22:46:57 +00:00
|
|
|
|
2014-04-14 14:26:48 +00:00
|
|
|
with lib;
|
2014-03-11 22:46:57 +00:00
|
|
|
|
|
|
|
let
|
|
|
|
cfg = config.services.phpfpm;
|
|
|
|
|
|
|
|
stateDir = "/run/phpfpm";
|
|
|
|
|
|
|
|
pidFile = "${stateDir}/phpfpm.pid";
|
|
|
|
|
|
|
|
cfgFile = pkgs.writeText "phpfpm.conf" ''
|
|
|
|
[global]
|
|
|
|
pid = ${pidFile}
|
|
|
|
error_log = syslog
|
|
|
|
daemonize = yes
|
|
|
|
${cfg.extraConfig}
|
|
|
|
|
|
|
|
${concatStringsSep "\n" (mapAttrsToList (n: v: "[${n}]\n${v}") cfg.poolConfigs)}
|
|
|
|
'';
|
|
|
|
|
|
|
|
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
|
|
|
|
the PHP FPM configuration file. Do not specify the options
|
|
|
|
<literal>pid</literal>, <literal>error_log</literal> or
|
|
|
|
<literal>daemonize</literal> here, since they are generated by
|
|
|
|
NixOS.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
2014-04-10 05:52:26 +00:00
|
|
|
phpPackage = mkOption {
|
2016-01-17 18:34:55 +00:00
|
|
|
type = types.package;
|
2015-07-17 16:09:50 +00:00
|
|
|
default = pkgs.php;
|
2016-01-17 18:34:55 +00:00
|
|
|
defaultText = "pkgs.php";
|
2014-04-10 05:52:26 +00:00
|
|
|
description = ''
|
|
|
|
The PHP package to use for running the FPM service.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
2014-06-07 15:34:27 +00:00
|
|
|
phpIni = mkOption {
|
|
|
|
type = types.path;
|
2016-01-13 10:48:11 +00:00
|
|
|
default = "${cfg.phpPackage}/etc/php-recommended.ini";
|
|
|
|
description = "php.ini file to use.";
|
2014-06-07 15:34:27 +00:00
|
|
|
};
|
|
|
|
|
2014-03-11 22:46:57 +00:00
|
|
|
poolConfigs = mkOption {
|
2014-03-12 10:45:31 +00:00
|
|
|
type = types.attrsOf types.lines;
|
2014-03-11 22:46:57 +00:00
|
|
|
default = {};
|
2015-07-04 06:51:38 +00: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 = ''
|
|
|
|
A mapping between PHP FPM pool names and their configurations.
|
|
|
|
See the documentation on <literal>php-fpm.conf</literal> for
|
|
|
|
details on configuration directives. If no pools are defined,
|
|
|
|
the phpfpm service is disabled.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
config = mkIf (cfg.poolConfigs != {}) {
|
|
|
|
|
|
|
|
systemd.services.phpfpm = {
|
|
|
|
wantedBy = [ "multi-user.target" ];
|
|
|
|
preStart = ''
|
|
|
|
mkdir -p "${stateDir}"
|
|
|
|
'';
|
|
|
|
serviceConfig = {
|
2014-06-07 15:34:27 +00:00
|
|
|
ExecStart = "${cfg.phpPackage}/sbin/php-fpm -y ${cfgFile} -c ${cfg.phpIni}";
|
2014-03-11 22:46:57 +00:00
|
|
|
PIDFile = pidFile;
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
};
|
|
|
|
}
|