# HG changeset patch
# User Gilles Duboscq <duboscq@ssw.jku.at>
# Date 1330951239 -3600
# Node ID db072eec897e24032785ac7c4f7bc3badbc78d6f
# Parent  cbedef8b4d15dbd21c4b9f8481ea8a386ed70067
fix variable redefinition in URLConnectionDownload

diff -r cbedef8b4d15 -r db072eec897e mxtool/URLConnectionDownload.java
--- a/mxtool/URLConnectionDownload.java	Sun Mar 04 18:56:25 2012 -0800
+++ b/mxtool/URLConnectionDownload.java	Mon Mar 05 13:40:39 2012 +0100
@@ -54,7 +54,7 @@
 
         String proxy = System.getenv("HTTP_PROXY");
         if (proxy == null) {
-            String proxy = System.getenv("http_proxy");
+            proxy = System.getenv("http_proxy");
         }
 
         String proxyMsg = "";