tomcat-extras.xml.patch

   1 --- extras.xml~ 2009-05-14 01:15:14.000000000 +0200
   2 +++ extras.xml  2009-08-17 17:19:55.000000000 +0200
   3 @@ -175,18 +175,6 @@
   4
   5             <mkdir dir="${tomcat.extras}/webservices"/>
   6
   7 -           <antcall target="downloadfile">
   8 -             <param name="sourcefile" value="${jaxrpc-src.loc}"/>
   9 -             <param name="destfile" value="${tomcat.extras}/webservices/jaxrpc.jar"/>
  10 -             <param name="destdir" value="${tomcat.extras}/webservices/"/>
  11 -           </antcall>
  12 -
  13 -           <antcall target="downloadfile">
  14 -             <param name="sourcefile" value="${wsdl4j-src.loc}"/>
  15 -             <param name="destfile" value="${tomcat.extras}/webservices/wsdl4j.jar"/>
  16 -             <param name="destdir" value="${tomcat.extras}/webservices/"/>
  17 -           </antcall>
  18 -
  19             <!-- Classpath -->
  20             <path id="tomcat.webservices.classpath">
  21               <pathelement path="${tomcat.classpath}"/>