6 Commits

Author	SHA1	Message	Date
Ernst de Haan	5a6112469e	Now using tomcatctl instead of tomcat.sh	2002-02-04 13:40:10 +00:00
Ernst de Haan	1fbe096f64	A new tomcatctl control script, installed in /bin.	2002-02-04 13:39:20 +00:00
Ernst de Haan	f62ea0b0a3	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)	2002-02-04 13:38:25 +00:00
Dirk Froemberg	8fc93c2651	Upgrade to 3.2.3.	2001-08-05 09:37:23 +00:00
Dirk Froemberg	71e52831aa	- provide startup script ... - log tomcat messages to a file (logs/tomcat.log) - fix plist	2001-05-21 08:05:38 +00:00
Dirk Froemberg	e457de7f78	Give jakarta-tomcat a chance of working with mod_jk.	2001-05-20 16:08:15 +00:00