From 45213ad923c71c7461774463e311dd0ba1f983f5 Mon Sep 17 00:00:00 2001
From: Shivam Mathur <shivam_jpr@hotmail.com>
Date: Sun, 15 Nov 2020 18:52:43 +0530
Subject: [PATCH] Fix extension setup on self-hosted linux

---
 src/scripts/linux.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/scripts/linux.sh b/src/scripts/linux.sh
index 4895f03e..cab30499 100644
--- a/src/scripts/linux.sh
+++ b/src/scripts/linux.sh
@@ -62,11 +62,13 @@ remove_extension() {
   if check_extension "$extension"; then
     if [[ ! "$version" =~ ${old_versions:?} ]] && [ -e /etc/php/"$version"/mods-available/"$extension".ini ]; then
       sudo phpdismod -v "$version" "$extension" >/dev/null 2>&1
+      echo "$extension" | sudo tee -a /tmp/setup_php_dismod >/dev/null 2>&1
     fi
     delete_extension "$extension"
     (! check_extension "$extension" && add_log "${tick:?}" ":$extension" "Removed") ||
       add_log "${cross:?}" ":$extension" "Could not remove $extension on PHP ${semver:?}"
   else
+    delete_extension "$extension"
     add_log "${tick:?}" ":$extension" "Could not find $extension on PHP $semver"
   fi
 }