× The internal search function is temporarily non-functional. The current search engine is no longer viable and we are researching alternatives.
As a stop gap measure, we are using Google's custom search engine service.
If you know of an easy to use, open source, search engine ... please contact support@midrange.com.



java400-l-bounces@xxxxxxxxxxxx wrote on 01/04/2005 07:32:02 AM:

[snip]
>    I've a simple program that is meant to read a xml file from a
> website but I get an error.
>
[snip]

I think your code is a little bit wrong.  I found this (wrong) code:

      System.getProperties().put("proxySet", "true");
      System.getProperties().put("proxyHost", "myProxyMachineName");
      System.getProperties().put("proxyPort", "85");

...at:

  http://www.javaworld.com/javaworld/javatips/jw-javatip42.html

This page says the code is wrong, and points to the fix...
The WRONG part is the property keys specified.  Per
http://java.sun.com/j2se/1.4.2/docs/guide/net/properties.html
they should be:

      System.setProperty("proxySet", "true");
      System.setProperty("http.proxyHost", "your.proxy.server");
      System.setProperty("http.proxyPort", "8083");

So, for a quick and easy test, you might just try adding this to
your command line:

      -Dhttp.proxyHost=proxy.ml.com -Dhttp.proxyPort=8083

HTH.

-blair

  ___   _           Blair Wyman                  IBM Rochester
 ( /_)  /  _  ' _   (507)253-2891            blairw@xxxxxxxxxx
__/__)_/_<_/_/_/_'  Opinions expressed may not be those of IBM




As an Amazon Associate we earn from qualifying purchases.

This thread ...

Replies:

Follow On AppleNews
Return to Archive home page | Return to MIDRANGE.COM home page

This mailing list archive is Copyright 1997-2024 by midrange.com and David Gibbs as a compilation work. Use of the archive is restricted to research of a business or technical nature. Any other uses are prohibited. Full details are available on our policy page. If you have questions about this, please contact [javascript protected email address].

Operating expenses for this site are earned using the Amazon Associate program and Google Adsense.