Changeset 29578

Show
Ignore:
Timestamp:
10.12.2014 21:01:44 (5 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.

Files:
1 modified

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>