/** * (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()); }