|
| |
|
| java.lang.Object
 net.sf.ehcache.distribution.RMICacheManagerPeerProvider
net.sf.ehcache.distribution.ManualRMICacheManagerPeerProvider
| ManualRMICacheManagerPeerProvider | | final public class ManualRMICacheManagerPeerProvider extends RMICacheManagerPeerProvider (Code) | | A provider of Peer RMI addresses based off manual configuration.
Because there is no monitoring of whether a peer is actually there, the list of peers is dynamically
looked up and verified each time a lookup request is made.
author:
Greg Luck
version:
$Id: ManualRMICacheManagerPeerProvider.java 552 2007-08-26 04:20:49Z gregluck $ |
| ManualRMICacheManagerPeerProvider | | public ManualRMICacheManagerPeerProvider()(Code) | | Empty constructor.
|
| getTimeForClusterToForm | | public long getTimeForClusterToForm()(Code) | | Time for a cluster to form. This varies considerably, depending on the implementation.
the time in ms, for a cluster to form |
| init | | final public void init()(Code) | | |
| registerPeer | | final public synchronized void registerPeer(String rmiUrl)(Code) | | Register a new peer.
Parameters:
rmiUrl - |
| stale | | final protected boolean stale(Date date)(Code) | | Whether the entry should be considered stale.
Manual RMICacheManagerProviders use a static list of urls and are therefore never stale.
Parameters:
date - the date the entry was created true if stale |
|
|
|