From da77bde0441863e5354da4113986f208285f4d8c Mon Sep 17 00:00:00 2001
From: Piotr Gawron <piotr.gawron@uni.lu>
Date: Mon, 12 Aug 2019 17:08:24 +0200
Subject: [PATCH] reference to tomcat7 removed
---
debian/scripts/common.sh | 5 -----
1 file changed, 5 deletions(-)
diff --git a/debian/scripts/common.sh b/debian/scripts/common.sh
index 9c12991a01..d8c9bc6f91 100644
--- a/debian/scripts/common.sh
+++ b/debian/scripts/common.sh
@@ -18,13 +18,8 @@ then
fi
TOMCAT_PACKAGE="";
-TOMCAT7_OK=$(dpkg-query -W --showformat='${Status}\n' tomcat7|grep "install ok installed")
TOMCAT8_OK=$(dpkg-query -W --showformat='${Status}\n' tomcat8|grep "install ok installed")
TOMCAT9_OK=$(dpkg-query -W --showformat='${Status}\n' tomcat9|grep "install ok installed")
-if [ "$TOMCAT7_OK" != "" ];
-then
- TOMCAT_PACKAGE='tomcat7'
-fi
if [ "$TOMCAT8_OK" != "" ];
then
TOMCAT_PACKAGE='tomcat8'
--
GitLab