|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ServerPropertiesManager | |
---|---|
org.objectweb.petals.tools.webadmin.collector |
Uses of ServerPropertiesManager in org.objectweb.petals.tools.webadmin.collector |
---|
Methods in org.objectweb.petals.tools.webadmin.collector that return ServerPropertiesManager | |
---|---|
ServerPropertiesManager |
DataCollector.getPropertiesManager()
Gets the manager of properties file |
Methods in org.objectweb.petals.tools.webadmin.collector with parameters of type ServerPropertiesManager | |
---|---|
void |
DataCollector.setPropertiesManager(ServerPropertiesManager propertiesManager)
Sets the properties manager to a new ServerPropertiesManager |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |