Comment 10 for bug 1819721

Steve, thank you, that sounds great from our perspective!

Dimitri, I would have no objections against a change like this in a new version of Ubuntu. That said, I do understand that I'm not entitled to set requirements for something I'm not paying for.

FWIW, the change we have to the Tomcat 8 init.d script is included here:

$ diff -u tomcat8 tomcat8-modified
--- tomcat8 2019-04-10 11:25:10.280954611 +0000
+++ tomcat8-modified 2019-04-10 11:28:26.551407512 +0000
@@ -79,6 +79,11 @@
  . "$DEFAULT"
 fi

+# overwrite with host specific default file if such exists
+if [ -f "$DEFAULT.local" ]; then
+ . "$DEFAULT.local"
+fi
+
 if [ ! -f "$CATALINA_HOME/bin/bootstrap.jar" ]; then
  log_failure_msg "$NAME is not installed"
  exit 1