From: Sarah Hoffmann <lonvia@denofr.de>
Date: Fri, 29 Apr 2022 12:16:44 +0000 (+0200)
Subject: Merge pull request #2686 from mtmail/ubuntu20-php-fpm-version
X-Git-Tag: v4.1.0~55
X-Git-Url: https://git.openstreetmap.org./nominatim.git/commitdiff_plain/8ebb8ee3040737d4d3797e569271e771bb39450a?hp=439d17569d90e18909401eda4ee3687bcd148ce0

Merge pull request #2686 from mtmail/ubuntu20-php-fpm-version

Install-on-Ubuntu-20.sh - correct php version
---

diff --git a/vagrant/Install-on-Ubuntu-20.sh b/vagrant/Install-on-Ubuntu-20.sh
index 68bd6b04..cdfb20f2 100755
--- a/vagrant/Install-on-Ubuntu-20.sh
+++ b/vagrant/Install-on-Ubuntu-20.sh
@@ -258,7 +258,7 @@ EOF_NGINX_CONF
 #
 
 if [ "x$NOSYSTEMD" == "xyes" ]; then  #DOCS:
-    sudo /usr/sbin/php-fpm7.3 --nodaemonize --fpm-config /etc/php/7.3/fpm/php-fpm.conf & #DOCS:
+    sudo /usr/sbin/php-fpm7.4 --nodaemonize --fpm-config /etc/php/7.4/fpm/php-fpm.conf & #DOCS:
     sudo /usr/sbin/nginx &            #DOCS:
 else                                  #DOCS:
     sudo systemctl restart php7.4-fpm nginx