Changeset 11835 for trunk/gli

Timestamp:

2006-05-18T15:44:50+12:00 (18 years ago)

Author:

mdewsnip

Message:

The proxy wasn't being disabled properly when unchecked in the Preferences.

File:

• trunk/gli/src/org/greenstone/gatherer/Gatherer.java (modified) (1 diff)

trunk/gli/src/org/greenstone/gatherer/Gatherer.java

@@ -804 +804 @@
         System.setProperty("http.proxySet", "true");
         } else {
+        System.setProperty("http.proxyHost", "");
+        System.setProperty("http.proxyPort", "");
         System.setProperty("http.proxySet", "false");
         }