# HG changeset patch
# User Christian Wimmer <Christian.Wimmer@Oracle.com>
# Date 1330708998 28800
# Node ID 0b781cdb0cfb65f2531632ba20a240426cdc7738
# Parent  c142a64141a82b0cfb199fca7921db482b7cbfc3
Use lower case http_proxy because this is the default environment variable on Linux

diff -r c142a64141a8 -r 0b781cdb0cfb mxtool/URLConnectionDownload.java
--- a/mxtool/URLConnectionDownload.java	Fri Mar 02 09:21:10 2012 -0800
+++ b/mxtool/URLConnectionDownload.java	Fri Mar 02 09:23:18 2012 -0800
@@ -53,6 +53,10 @@
         System.setProperty("java.net.useSystemProxies", "true");
 
         String proxy = System.getenv("HTTP_PROXY");
+        if (proxy == null) {
+            String proxy = System.getenv("http_proxy");
+        }
+
         String proxyMsg = "";
         if (proxy != null) {
             Pattern p = Pattern.compile("(?:http://)?([^:]+)(:\\d+)?");