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

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 …
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
patch-build.properties.default 545 bytes 20583   13 years jberry Patch Tomcat5 for missing dependency of eclipse. #10994. Thanks …
setenv.sh 1.5 KB 21099   13 years jberry Set JAVA_JVM_VERSION to an actual version number, rather than …
patch-catalina.sh 678 bytes 21485   13 years eridius Massive update to svn properties on files: All patchfiles have …
tomcatctl 5.1 KB 30857   12 years jberry Update tomcat5 --> 5.5.25. Should resolve #13112.
Note: See TracBrowser for help on using the repository browser.