W3C home > Mailing lists > Public > www-jigsaw@w3.org > May to June 1997

Changing proxy properties

From: Anselm Baird_Smith <abaird@www43.inria.fr>
Date: Thu, 15 May 1997 09:31:15 +0200 (MET DST)
Message-Id: <199705150731.JAA27021@www43.inria.fr>
To: stav@radview.com
Cc: jigsaw mailing list <www-jigsaw@w3.org>
Yael Stav writes:
 > (sorry if it's duplicate. having troubles with mail server)
 > 
 > Hi all,
 > I'm using jigsaw as a proxy in my application (jdk1.0.2 on NT)
 > and would like to enable a change in the secondary proxy
 > attributes from the user interface.
 > I'm talking about
 > a. PROXY_SET_P
 > b. PROXY_HOST_P
 > c. PROXY_PORT_P
 > which all reside in the ProxyProp class.
 > I can make a change that will effect the local behaviour of the
 > proxy (HttpManager) by calling the setProxy() method.
 > But I couldn't find a way to make persistant changes.
 > 
 > Of course I do not want to use the property editor mechanism
 > by sending an http request.
 > 
 > Is there a (simple) way to do it?

In general Jigsaw will put its own properties as the system
default. If this is the case, then:
p= System.getProperties();
should return an instance of w3c.util.ObservableProperties.

If such is the case, you can just
p.put(PROXY_SET_P, <myproxy>);

the change will take effect straight away (these properties are
observable for that reason). Now you probably want to save the
properties after this using the normal p.save call.

Anselm.
Received on Thursday, 15 May 1997 03:31:43 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 9 April 2012 12:13:26 GMT