From 166031f4102a8058c27971654573e1eb03957c4d Mon Sep 17 00:00:00 2001
From: Christoph <ckubu@oopen.de>
Date: Thu, 10 Oct 2019 02:00:54 +0200
Subject: [PATCH] mod_php_install.sh: change pidfile directory for debian
 versions buster and above.

---
 mod_php_install.sh | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/mod_php_install.sh b/mod_php_install.sh
index 5382cb9..315e552 100755
--- a/mod_php_install.sh
+++ b/mod_php_install.sh
@@ -760,8 +760,11 @@ if $WITH_PHP_FPM_SUPPORT && $WITH_MOD_PHP ; then
    fi
 fi
 
-
-FPM_PID_FILE=/var/run/php-${PHP_MAIN_VERSION}-fpm.pid
+if [[ "$os_dist" = "debian" ]] && [[ $os_version -gt 9 ]] ; then
+   FPM_PID_FILE=/run/php-${PHP_MAIN_VERSION}-fpm.pid
+else
+   FPM_PID_FILE=/var/run/php-${PHP_MAIN_VERSION}-fpm.pid
+fi
 
 FPM_SYSTEMD_FILE=/etc/systemd/system/php-${PHP_MAIN_VERSION}-fpm.service
 FPM_INIT_SCRIPT=/etc/init.d/php-${PHP_MAIN_VERSION}-fpm