public class OrgDataRefresher
extends java.lang.Object
Constructor and Description |
---|
OrgDataRefresher(ResourceManager rm)
Constructs an instance to be used for 'manual' refreshing (via a call to refresh())
|
OrgDataRefresher(ResourceManager rm,
long period)
Constructs an instance that starts a timer to refresh org data every 'period'
|
Modifier and Type | Method and Description |
---|---|
java.util.List<java.lang.Runnable> |
cancel()
Stop the refresher timer (if it was started)
|
void |
refresh()
Refreshes the org data
|
public OrgDataRefresher(ResourceManager rm)
rm
- the ResourceManager instancepublic OrgDataRefresher(ResourceManager rm, long period)
rm
- the ResourceManager instanceperiod
- the number of minutes to wait between refreshesCopyright © 2004-2014 The YAWL Foundation.