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