/** * Returns the global configuration options. */ public Hashtable getGlobalOptions() throws ConfigurationException { if (globalOptions != null) return globalOptions; if (defaultConfiguration != null) return defaultConfiguration.getGlobalOptions(); return null; }
/** * Returns the global configuration options. */ public Hashtable getGlobalOptions() throws ConfigurationException { if (globalOptions != null) return globalOptions; if (defaultConfiguration != null) return defaultConfiguration.getGlobalOptions(); return null; }
/** * Returns the global configuration options. */ public Hashtable getGlobalOptions() throws ConfigurationException { if (globalOptions != null) return globalOptions; if (defaultConfiguration != null) return defaultConfiguration.getGlobalOptions(); return null; }
/** * (Re-)load the global options from the registry. * * @throws ConfigurationException */ public void refreshGlobalOptions() throws ConfigurationException { Hashtable globalOptions = config.getGlobalOptions(); if (globalOptions != null) setOptions(globalOptions); normaliseOptions(this); // fixme: If we change actorURIs to List, this copy constructor can // go away... actorURIs = new ArrayList(config.getRoles()); }
/** * (Re-)load the global options from the registry. * * @throws ConfigurationException */ public void refreshGlobalOptions() throws ConfigurationException { Hashtable globalOptions = config.getGlobalOptions(); if (globalOptions != null) setOptions(globalOptions); normaliseOptions(this); // fixme: If we change actorURIs to List, this copy constructor can // go away... actorURIs = new ArrayList(config.getRoles()); }
/** * (Re-)load the global options from the registry. * * @throws ConfigurationException */ public void refreshGlobalOptions() throws ConfigurationException { Hashtable globalOptions = config.getGlobalOptions(); if (globalOptions != null) setOptions(globalOptions); normaliseOptions(this); // fixme: If we change actorURIs to List, this copy constructor can // go away... actorURIs = new ArrayList(config.getRoles()); }