W3C home > Mailing lists > Public > www-jigsaw@w3.org > September to October 1997

Re: Client side filter-determining server url/port

From: Orsini Jean-Philippe <orsini@essi.fr>
Date: Mon, 13 Oct 1997 18:01:59 +0200
Message-Id: <199710131601.SAA27761@essi.essi.fr>
To: www-jigsaw@w3.org
Hi!

>My filter needs to find out what host and port the Proxy is running on.
U can get the HttpManager in your filter(look at initiliaze function).
Then,
  ObservableProperties props     = manager.getProperties();
  String host  = props.getString(PROXY_HOST_P, null);
  int    port  = props.getInteger(PROXY_PORT_P, -1);

should works..

I dont think that u can change proxy-host or proxy-port when jigsaw
runs.

				JeanFI.
Received on Monday, 13 October 1997 12:00:42 GMT

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