From 4f4b3d67be5226b7cddf76b15f406a75714c6221 Mon Sep 17 00:00:00 2001
From: Christoph <ckubu@oopen.de>
Date: Fri, 17 Mar 2023 17:27:51 +0100
Subject: [PATCH] mod_php_install.sh: replace PHP socket, in case of php
 update..

---
 mod_php_install.sh | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/mod_php_install.sh b/mod_php_install.sh
index b726300..3c596e9 100755
--- a/mod_php_install.sh
+++ b/mod_php_install.sh
@@ -1686,6 +1686,7 @@ if $WITH_PHP_FPM_SUPPORT ; then
    echo "   Set umask 0002 for FPM............: $SET_UMASK"
    echo ""
    echo "   PHP run directory.................: $FPM_RUN_DIR"
+   echo "   PHP socket .......................: $FPM_DEFAULT_POOL_LISTEN"
    echo ""
    echo "   PHP FPM Socket definition(s)......: ${FPM_DEFAULT_POOL}.php-fpm.conf"
    if [[ ${#existing_fpm_definition_arr[@]} -gt 0 ]] ; then
@@ -4105,6 +4106,17 @@ EOF
          [[ -f "${PREFIX_PHP}/etc/${FPM_POOL_CONF_DIR}/${FPM_DEFAULT_POOL}.php-fpm.conf" ]] ; then
 
          echo ""
+         key="listen"
+         value="$FPM_DEFAULT_POOL_LISTEN"
+         echononl "\tPHP FPM Pool - Set Definition '${key}'.."
+         sed -i -E "s#^([[:blank:]]*${key}[[:blank:]]*=[[:blank:]]*).*#\1${value}#" \
+            ${PREFIX_PHP}/etc/${FPM_POOL_CONF_DIR}/${FPM_DEFAULT_POOL}.php-fpm.conf
+         if [ "$?" = "0" ]; then
+            echo_ok
+         else
+            echo_failed
+         fi
+
          key="pm.start_servers"
          value="$FPM_POOL_START_SERVER"
          echononl "\tPHP FPM Pool - Set Definition '${key}'.."