Ignore:
Timestamp:
Dec 2, 2007 3:13:15 AM (13 years ago)
Author:
zzz <zzz@…>
Branches:
master
Children:
17b719f3
Parents:
c6a1112
git-author:
complication <complication> (12/02/07 03:13:15)
git-committer:
zzz <zzz@…> (12/02/07 03:13:15)
Message:

2007-12-01 Complication

  • Separate the checks "does Jetty .zip file need downloading" and "does Jetty .zip file need extracting" in the Jetty buildfile. First download (unless already done), then extract (unless done).
File:
1 edited

Legend:

Unmodified
Added
Removed
  • apps/jetty/build.xml

    rc6a1112 r979a3e98  
    44    <target name="all" depends="build" />
    55    <target name="fetchJettylib" >
    6         <available property="jetty.available" file="jetty-5.1.12.zip" />
     6        <available property="jetty.zip.available" file="jetty-5.1.12.zip" type="file" />
     7        <available property="jetty.zip.extracted" file="jettylib" type="dir" />
    78        <ant target="doFetchJettylib" />
     9        <ant target="doExtractJettylib" />
    810    </target>
    9     <target name="doFetchJettylib" unless="jetty.available" >
     11    <target name="doFetchJettylib" unless="jetty.zip.available" >
    1012        <echo message="The libraries contained within the fetched file are from Jetty's 5.1.12" />
    1113        <echo message="distribution (http://jetty.mortbay.org/).  These are not " />
     
    1315        <echo message="such as the routerconsole." />
    1416        <get src="http://mesh.dl.sourceforge.net/sourceforge/jetty/jetty-5.1.12.zip" verbose="true" dest="jetty-5.1.12.zip" />
     17    </target>
     18    <target name="doExtractJettylib" unless="jetty.zip.extracted" >
    1519        <ant target="doExtract" />
    1620    </target>
Note: See TracChangeset for help on using the changeset viewer.