uk.ac.starlink.util

Class ProxySetup

java.lang.Object

uk.ac.starlink.util.ProxySetup

public class ProxySetup
extends Object

A singleton class for controlling the configuration of the web proxy system properties. The values are stored as Preferences associated with this class and can be restored to the related System properties "http.proxySet", "http.proxyHost", "http.proxyPort" and nonProxyHosts and saved back again.

To enable any stored proxy setup just do:

    ProxySetup.getInstance().restore();
 

Sometime during application startup. Note that this will supercede any system properties already set (but only if any Preferences have been defined).

Version:

$Id$

Author:

Peter W. Draper

Method Summary

Modifier and Type	Method and Description
static ProxySetup	getInstance() Get a reference to the only instance of this class.
String	getNonProxyHosts() Get the hosts that should not be proxied.
String	getProxyHost() Get the proxy host.
String	getProxyPort() Get the proxy port.
boolean	isProxySet() Get if proxy use is enabled.
void	restore() Restore from backing store, updating the system properties.
void	setNonProxyHosts(String nohosts) Set the hosts that shouldn't use the proxy.
void	setProxyHost(String host) Set the proxy host.
void	setProxyPort(String port) Set the proxy port.
void	setProxySet(boolean set) Set if proxy use is enabled.
void	store() Save state of system properties to backing store.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

getInstance

public static ProxySetup getInstance()

Get a reference to the only instance of this class.

isProxySet

public boolean isProxySet()

Get if proxy use is enabled.

setProxySet

public void setProxySet(boolean set)

Set if proxy use is enabled.

getProxyHost

public String getProxyHost()

Get the proxy host.

setProxyHost

public void setProxyHost(String host)

Set the proxy host.

getProxyPort

public String getProxyPort()

Get the proxy port.

setProxyPort

public void setProxyPort(String port)

Set the proxy port.

getNonProxyHosts

public String getNonProxyHosts()

Get the hosts that should not be proxied.

setNonProxyHosts

public void setNonProxyHosts(String nohosts)

Set the hosts that shouldn't use the proxy. Note this is a list of names, separated by |, and possibly including a wildcard, e.g. "*.dur.ac.uk|localhost".

restore

public void restore()

Restore from backing store, updating the system properties.

store

public void store()

Save state of system properties to backing store.