Name: eyC74480 Date: 06/17/98
We would like to be able to access Activator Proxy Port and
IP address information within the JVM.
(Review ID: 33739)
======================================================================
The bug can probably be closed the correct way to access the proxy information
is
Properties props = new Properties (System.getProperties());
The Property can be queried with
String sz = props.getProperty("javaplugin.proxy.usebrowsersettings");
in order to figure out if the local properties are supposed to be used
and by
String sz = props.getProperty("javaplugin.proxy");
in order to get the current settings
stefan.schneider@eng 1998-07-29