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

>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).
  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

Received on Monday, 13 October 1997 12:00:42 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:25:31 UTC