From f62ea0b0a34d9d6757e367f09dcefaba8e5f2f61 Mon Sep 17 00:00:00 2001 From: Ernst de Haan Date: Mon, 4 Feb 2002 13:38:25 +0000 Subject: A lot of changes: * Bumped PORTREVISION * Now displays installation settings * Now possible to choose JDK. By default uses FreeBSD JDK 1.3.1 (instead of FreeBSD JDK 1.1.8) * Does not depend on pinstall anymore * Now possible to change TOMCAT_HOME. By default uses /jakarta-tomcat-3.2.3 (instead of /tomcat) * Now possible to change LISTEN_PORT. Default is 8080 (unchanged) * Added support for running Tomcat as a different user/group. By default a new user 'tomcat' and a new group 'tomcat' are created and used * A 'tomcatctl' script is installed in /usr/local/bin/, which uses interprocess communication to start/stop/restart Tomcat * Option is added for automatically starting Tomcat after install (AUTO_START). By default Tomcat is started right away * Appends stdout and stderr to log files * Uses a numeric prefix for the script in /etc/rc.d (now by default 020.jakarta-tomcat.sh instead of tomcat.sh) --- www/tomcat41/files/patch-ab | 15 ++++++++++++--- 1 file changed, 12 insertions(+), 3 deletions(-) (limited to 'www/tomcat41/files/patch-ab') diff --git a/www/tomcat41/files/patch-ab b/www/tomcat41/files/patch-ab index 4cd9c6810ff5..9493d0cbee73 100644 --- a/www/tomcat41/files/patch-ab +++ b/www/tomcat41/files/patch-ab @@ -1,6 +1,6 @@ ---- conf/server.xml.orig Tue Dec 12 22:36:20 2000 -+++ conf/server.xml Mon May 21 00:25:46 2001 -@@ -67,6 +67,7 @@ +--- conf/server.xml.orig Tue Jul 17 18:57:46 2001 ++++ conf/server.xml Thu Jan 24 14:32:56 2002 +@@ -68,6 +68,7 @@ --> + ++ value="%%LISTEN_PORT%%"/> + + +