greenstone.org greenstone wiki greenstone trac planet greenstone

Changeset 14704

Show
Ignore:
Timestamp:
2007-10-17 10:42:52 (1 year ago)
Author:
qq6
Message:

upgraded tomcat from 12 to 25

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved

  • greenstone3/branches/3.03/build.xml

    r14604 r14704  
    528528    <!-- check that packages dir is there --> 
    529529    <mkdir dir="${packages.home}"/> 
    530     <get src="http://www.greenstone.org/gs3files/apache-tomcat-5.5.12.zip" 
    531       dest="${packages.home}/apache-tomcat-5.5.12.zip" 
     530    <get src="http://www.greenstone.org/gs3files/apache-tomcat-5.5.25.zip" 
     531      dest="${packages.home}/apache-tomcat-5.5.25.zip" 
    532532      usetimestamp="true"/> 
    533     <unzip src="${packages.home}/apache-tomcat-5.5.12.zip"  
     533    <unzip src="${packages.home}/apache-tomcat-5.5.25.zip"  
    534534      dest="${packages.home}"/> 
    535     <get src="http://www.greenstone.org/gs3files/apache-tomcat-5.5.12-compat.zip" 
    536       dest="${packages.home}/apache-tomcat-5.5.12-compat.zip" 
     535    <get src="http://www.greenstone.org/gs3files/apache-tomcat-5.5.25-compat.zip" 
     536      dest="${packages.home}/apache-tomcat-5.5.25-compat.zip" 
    537537      usetimestamp="true"/> 
    538     <unzip src="${packages.home}/apache-tomcat-5.5.12-compat.zip"  
     538    <unzip src="${packages.home}/apache-tomcat-5.5.25-compat.zip"  
    539539      dest="${packages.home}"/> 
    540540    <!-- delete any existing tomcat --> 
    541541    <delete dir="${packages.home}/tomcat"/> 
    542542    <move todir="${packages.home}/tomcat"> 
    543       <fileset dir="${packages.home}/apache-tomcat-5.5.12"/> 
     543      <fileset dir="${packages.home}/apache-tomcat-5.5.25"/> 
    544544    </move> 
    545545    <copy file="${basedir}/resources/tomcat/setclasspath.bat"