Changeset 29578


Ignore:
Timestamp:
2014-12-10T21:01:44+13:00 (9 years ago)
Author:
ak19
Message:

Moving from tomcat 7.0.26 to tomcat 7.0.57. Tomcat 7.0.57 is necessary for the running server to work with JDK 8 (tested on linux). Tomcat 7.0.57 still seems to work with both JDK 6 and 7 on linux. Not tested on Windows. Not tested with JDK 5.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • main/trunk/greenstone3/build.xml

    r29518 r29578  
    115115  <!-- for Java versions < 1.4, we print out the message that Java is too old.
    116116    For Java 1.4, we use Tomcat 5.5, for Java5 and higher, we use Tomcat 7.0-->
    117   <condition property="tomcat.version" value="apache-tomcat-5.5.25" else="apache-tomcat-7.0.26">
     117  <condition property="tomcat.version" value="apache-tomcat-5.5.25" else="apache-tomcat-7.0.57">
    118118    <equals arg1="1.4" arg2="${ant.java.version}"/>
    119119  </condition>
Note: See TracChangeset for help on using the changeset viewer.