Explorar el Código

fix(map.jinja): fix pid file location for debian

The PID file location for Debian changed recently
see https://www.patreon.com/posts/february-updates-34189046
and https://github.com/oerdnj/deb.sury.org/issues/1334
tags/v1.3.0
sylvainfaivre hace 4 años
padre
commit
393d69eb0f
Se han modificado 1 ficheros con 1 adiciones y 1 borrados
  1. +1
    -1
      php/map.jinja

+ 1
- 1
php/map.jinja Ver fichero

@@ -107,7 +107,7 @@
'group': 'root',
'defaults': odict([
('global', odict([
('pid', '/var/run/php' + php_version + '-fpm.pid'),
('pid', '/run/php/php' + php_version + '-fpm.pid'),
('error_log', '/var/log/php' + php_version + '-fpm.log'),
])),
('include', '/etc/php/' + php_version + '/fpm/pool.d/*.conf'),

Cargando…
Cancelar
Guardar