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

Name Size Rev Age Author Last Change
../
tomcat5.sh 318 bytes 8862   15 years jberry New port tomcat5 -- Tomcat 5 is a Java-based webserver and servlet …
patch-catalina.sh.diff 588 bytes 9016   15 years jberry Alteration of tomcat5 port. Changes: (1) jk2 support has been split …
patch-jk2.properties.diff 668 bytes 9016   15 years jberry Alteration of tomcat5 port. Changes: (1) jk2 support has been split …
conf_setup.sh 1.2 KB 13664   15 years jberry Revisions to tomcat5 to make it possible to run it under JDK 5.0
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
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.