From 393d69eb0fda49f3598d5f9040be5d3bad59b5dd Mon Sep 17 00:00:00 2001
From: sylvainfaivre <sylvainfaivre@gmail.com>
Date: Thu, 27 Feb 2020 10:39:17 +0100
Subject: [PATCH] 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
---
 php/map.jinja | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/php/map.jinja b/php/map.jinja
index 9e275e8..516659d 100644
--- a/php/map.jinja
+++ b/php/map.jinja
@@ -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'),