Update tools.func

misc/tools.func

@@ -506,7 +506,7 @@ install_mongodb() {
 
 fetch_and_deploy_gh_release() {
   local repo="$1"
-  local app=$(echo ${APPLICATION,,} | tr -d ' ')
+  local app=${APP:-$(echo "${APPLICATION,,}" | tr -d ' ')}
   local api_url="https://api.github.com/repos/$repo/releases/latest"
   local header=()
   local attempt=0
@@ -676,6 +676,7 @@ fetch_and_deploy_gh_release() {
   rm -rf "$tmpdir"
 }
 
+
 setup_local_ip_helper() {
   local BASE_DIR="/usr/local/community-scripts/ip-management"
   local SCRIPT_PATH="$BASE_DIR/update_local_ip.sh"