source: trunk/dports/java/tomcat5/files @ 14819

Name Size Rev Age Author Last Change
../
conf_setup.sh 1.2 KB 13664   15 years jberry Revisions to tomcat5 to make it possible to run it under JDK 5.0
patch-catalina.sh 706 bytes 14819   14 years jberry Update tomcat5 --> 5.5.12 - Bump version - Account for new home …
patch-jk2.properties.diff 668 bytes 9016   15 years jberry Alteration of tomcat5 port. Changes: (1) jk2 support has been split …
setenv.local 348 bytes 13664   15 years jberry Revisions to tomcat5 to make it possible to run it under JDK 5.0
setenv.sh 1.2 KB 13664   15 years jberry Revisions to tomcat5 to make it possible to run it under JDK 5.0
tomcat5.sh 318 bytes 8862   15 years jberry New port tomcat5 -- Tomcat 5 is a Java-based webserver and servlet …
tomcatctl 5.1 KB 13664   15 years jberry Revisions to tomcat5 to make it possible to run it under JDK 5.0
Note: See TracBrowser for help on using the repository browser.