The proxy list is used for redirecting certain HTTP requests from the browser to a HTTP proxy. If no HTTP proxy is used in the network, an empty proxy list must still be provided to the boxes using Infocast.
<!ELEMENT ProxyList (Proxy*, NoProxy*)>
<!ELEMENT Proxy (Protocol, Host, Port)>
<!ELEMENT NoProxy (Host)>
<!ELEMENT Protocol (#PCDATA)>
<!ELEMENT Host (#PCDATA)>
<!ELEMENT Port (#PCDATA)>
<?xml version="1.0"?>
<!DOCTYPE ProxyList SYSTEM "proxylist.dtd">
<ProxyList>
<Proxy>
<Protocol>http</Protocol>
<Host>192.168.1.1</Host>
<Port>8080</Port>
</Proxy>
<Proxy>
<Protocol>https</Protocol>
<Host>192.168.1.2</Host>
<Port>8080</Port>
</Proxy>
<NoProxy>
<Host>example.com</Host>
</NoProxy>
<NoProxy>
<Host>example.se</Host>
</NoProxy>
</ProxyList>
Element | Example value | Comment |
---|---|---|
ProxyList | See the example above | The proxy list. This may be left empty to indicate that no proxies should be used. |
Proxy | See the example above | The proxy definition. Only one proxy declaration is possible per protocol. All connections using the protocol specified in the protocol are redirected to the host and port specified in host and port. |
NoProxy | See the example above | Connections to hosts within the given domain do not use a proxy. |