From 18b459032d30c7b8dd6784f2e6295cb46690635f Mon Sep 17 00:00:00 2001
From: billz <billzimmerman@gmail.com>
Date: Thu, 26 Mar 2020 10:08:20 +0000
Subject: [PATCH] Added Ubuntu Server 19.10 to release check

---
 installers/common.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/installers/common.sh b/installers/common.sh
index 5208058e..73adf9ef 100755
--- a/installers/common.sh
+++ b/installers/common.sh
@@ -76,7 +76,7 @@ function _get_linux_distro() {
 # Sets php package option based on Linux version, abort if unsupported distro
 function _set_php_package() {
     case $RELEASE in
-        "18.04") # Ubuntu 18.04 LTS
+        "18.04"|"19.10") # Ubuntu Server
             php_package="php7.4-cgi"
             phpcgiconf="/etc/php/7.4/cgi/php.ini" ;;
         "10")