public class WGACore.WGAServerOptionReader
extends java.lang.Object
implements de.innovationgate.wga.modules.ModuleRegistryChangeListener
Constructor and Description |
---|
WGACore.WGAServerOptionReader() |
Modifier and Type | Method and Description |
---|---|
void |
moduleRegistryChanged(de.innovationgate.wga.modules.ModuleRegistry registry,
java.lang.Class<? extends de.innovationgate.wga.modules.ModuleType> moduleType) |
java.lang.Object |
readServerOptionOrDefault(java.lang.String name) |
public java.lang.Object readServerOptionOrDefault(java.lang.String name)
public void moduleRegistryChanged(de.innovationgate.wga.modules.ModuleRegistry registry, java.lang.Class<? extends de.innovationgate.wga.modules.ModuleType> moduleType)
moduleRegistryChanged
in interface de.innovationgate.wga.modules.ModuleRegistryChangeListener