Target to copy WAR to tomcat.
authorgilbert <gilbert@ab3bd59b-922f-494d-bb5f-6f0a3c29deca>
Wed, 23 Mar 2005 02:22:18 +0000 (02:22 +0000)
committergilbert <gilbert@ab3bd59b-922f-494d-bb5f-6f0a3c29deca>
Wed, 23 Mar 2005 02:22:18 +0000 (02:22 +0000)
git-svn-id: https://subversion.switch.ch/svn/shibboleth/java-idp/trunk@1331 ab3bd59b-922f-494d-bb5f-6f0a3c29deca

build.xml

index ae05261..4d85e2a 100755 (executable)
--- a/build.xml
+++ b/build.xml
@@ -19,7 +19,7 @@
     <property name="docs" value="${root}/doc/" />
     <property name="javadocs" value="${docs}/api/" />
 
-    <property name="year" value="2002"/>
+    <property name="year" value="2002-2005"/>
     <property name="copyright" value="Copyright &#169; ${year} UCAID. All Rights Reserved."/>
 
        <!-- Configure properties to find Tomcat and access the Manager application -->
     <target name="undeploy" description="Undeploy using Tomcat manager">
         <tomcatUndeploy url="${url}" username="${username}" password="${password}" path="/${distname}"/>
     </target>
+       
+       <target name="distcopy">
+               <!-- Deploy war file by copy and delete. Tomcat must not be
+                    running when this occurs. --> 
+               <copy file="${dist}/${distname}.war" 
+                       tofile="${tomcat.home}/webapps/${distname}.war" 
+               />
+               <delete dir="${tomcat.home}/webapps/${distname}" quiet="yes" />
+       </target>
+       
     
     <!-- Automated key generation -->
        <target name="genSecret" depends="compile">