Changeset 5226

Timestamp:

2003-08-20T16:10:44+12:00 (21 years ago)

Author:

kjdon

Message:

now looks for proxy element in site config file - if its there, it sets the system proxyHost etc properties. this will enable http connections from teh servlet to the outside world - eg for InfomineProxy

File:

• trunk/gsdl3/src/java/org/greenstone/gsdl3/core/MessageRouter.java (modified) (3 diffs)

trunk/gsdl3/src/java/org/greenstone/gsdl3/core/MessageRouter.java

@@ -38 +38 @@
 import java.io.Reader;
 import java.io.StringReader;
+import java.net.Authenticator;
+import java.net.PasswordAuthentication;      
 
 /**
@@ -148 +150 @@
         this.site_http_address = http_address.getAttribute(GSXML.VALUE_ATT);
     }
-    
+
+    Element proxy = (Element)GSXML.getChildByTagName(config, "proxy");
+    if (proxy != null) {
+        String host = proxy.getAttribute("host");
+        String port = proxy.getAttribute("port");
+        final String user = proxy.getAttribute("user");
+        final String passwd = proxy.getAttribute("password");
+        if (host.equals("") || port.equals("") || user.equals("")||passwd.equals("")) {
+        System.err.println("MessageRouter.configure Error: A proxy was specified in the config file, but attributes host, port, user, password were not all present");
+        } else {
+        try {
+            // set up the proxy
+            System.setProperty("http.proxyType", "4");
+            System.setProperty("http.proxyHost", host);
+            System.setProperty("http.proxyPort", port);
+            System.setProperty("http.proxySet", "true");
+            Authenticator.setDefault(new Authenticator(){ 
+                protected PasswordAuthentication getPasswordAuthentication(){ 
+                return new PasswordAuthentication(user, new 
+                    String(passwd).toCharArray()); 
+                } 
+            }); 
+            
+        } catch (Exception e) {
+            System.err.println("MessageRouter Error: couldn't set up the proxy");
+        }
+        }
+    }
+                     
     // load up the services
     Element service_rack_list = (Element)GSXML.getChildByTagName(config, GSXML.SERVICE_CLASS_ELEM+GSXML.LIST_MODIFIER);
@@ -845 +875 @@
     }
     }
-
     
 }