| java.lang.Object
 org.w3c.jigsaw.daemon.DaemonProperties
| DaemonProperties | | public class DaemonProperties (Code) | | Subclass of Properties, to deal with daemon specific usage of them.
This class refines the basic Properties class, in order to tune them for
ServerHandler specific needs:
- Properties can be observed through the PropertyMonitoring interface,
- Properties are multiplexed according to the server identifier. Two
servers can rely on the same set of properties, but each of them can
have its own property value. Eg the org.w3c.jigsaw.http package host
property can be set fro server1 to host1 and for server2 to host2.
This is done by defining server1.org.w3c.jigsaw.http.host
and server2.org.w3c.jigsaw.http.host
Each property can be monitored, to allow for dynamic reconfiguration of
the server.
See Also: org.w3c.util.PropertyMonitoring |
| configdir | | protected File configdir(Code) | | Our base config directory.
|
| globprops | | protected Properties globprops(Code) | | The global set of properties (inherited by all spaces).
|
| propspace | | protected Hashtable propspace(Code) | | The set of loaded properties set.
|
| DaemonProperties | | public DaemonProperties(File configdir, Properties props)(Code) | |
Parameters:
props - The global properties to use in all spaces. |
| getPropertySpace | | public ObservableProperties getPropertySpace(String id)(Code) | | Get the properties for the given space.
Parameters:
id - The identifier for a property set space. An ObservableProperties instance, or null. |
| loadPropertySpace | | public ObservableProperties loadPropertySpace(String id, InputStream in) throws IOException(Code) | | Extend a property space.
Parameters:
id - The identifier of the property set to extend.
Parameters:
in - The input stream containing Java properties to add.
exception:
IOException - If the input stream couldn't be read. |
| savePropertySpace | | public void savePropertySpace(String id)(Code) | | |
|
|