[patch] proxy patch for toolsrc/build.xml

proxy.patch (text/plain), 619 bytes, created by Mark Loeser (RETIRED) on 2004-05-14 20:47:23 UTC

--- toolsrc/build-orig.xml	2004-05-14 23:24:20.377851944 -0400
+++ toolsrc/build.xml	2004-05-14 23:24:42.625469792 -0400
@@ -20,6 +20,7 @@
     <!-- Download source from Sun's site, unzip it, remove
          the files we don't need, and change the package
     -->
+    <setproxy proxyhost="${proxy.host}" proxyport="${proxy.port}" />
     <get src="http://java.sun.com/products/jfc/tsc/articles/treetable2/downloads/src.zip" dest="${nest}/${build.dir}/swingExSrc.zip"/>
     <unzip src="${nest}/${build.dir}/swingExSrc.zip" dest="${src.debugger}"/>
     <delete file="${src.debugger}/FileSystemModel2.java" />