From e0a605989e8f9364544dd7b8be7d0185adf47147 Mon Sep 17 00:00:00 2001
From: VirtuBox <thomas@virtubox.net>
Date: Sun, 4 Aug 2019 19:28:06 +0200
Subject: [PATCH] Prepare for release

---
 install | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/install b/install
index 93d9f54..d0d2de2 100755
--- a/install
+++ b/install
@@ -495,7 +495,10 @@ wo_upgrade_nginx() {
                 elif [ -n "$CHECK_NGINX_WO" ]; then
                     apt-mark unhold nginx-wo nginx-common nginx-custom
                     apt-get --assume-yes purge nginx-wo nginx-common nginx-custom --allow-change-held-packages
-
+                    if [ -n "$CHECK_PHP72" ]; then
+                        apt-get purge php7.2-fpm -y -qq
+                        rm -f /etc/php/7.2/fpm/pool.d/{www.conf,www-two.conf,debug.conf}
+                    fi
                 fi
                 if [ -d /etc/nginx ]; then
                     rm -rf /etc/nginx