diff options
| author | Ernst de Haan <znerd@FreeBSD.org> | 2002-02-04 13:38:25 +0000 |
|---|---|---|
| committer | Ernst de Haan <znerd@FreeBSD.org> | 2002-02-04 13:38:25 +0000 |
| commit | f62ea0b0a34d9d6757e367f09dcefaba8e5f2f61 (patch) | |
| tree | 2fccbee2c8e60b4314b5ad7fc23dd8e9e6cd5233 /www/tomcat41/files/patch-ab | |
| parent | A lot of small changes. It's now possible to change the Java port using the J... (diff) | |
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)
Diffstat (limited to '')
| -rw-r--r-- | www/tomcat41/files/patch-ab | 15 |
1 files changed, 12 insertions, 3 deletions
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 @@ --> <Logger name="tc_log" verbosityLevel = "INFORMATION" @@ -8,3 +8,12 @@ /> <Logger name="servlet_log" +@@ -223,7 +224,7 @@ + <Parameter name="handler" + value="org.apache.tomcat.service.http.HttpConnectionHandler"/> + <Parameter name="port" +- value="8080"/> ++ value="%%LISTEN_PORT%%"/> + </Connector> + + <!-- |