diff --git a/debian/scripts/common.sh b/debian/scripts/common.sh index 9c12991a012f92c3ec56c8f6b55d25bd2307536d..d8c9bc6f911a7e0413716ceb46fee1e0b58dfe9f 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'