Re: Client side filter-determining server url/port from Orsini Jean-Philippe on 1997-10-13 (www-jigsaw@w3.org from September to October 1997)

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

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 UTC