org.jboss.profileservice.cluster.repository
Class DefaultRepositoryClusteringHandler.DRMListener

java.lang.Object
  extended by org.jboss.profileservice.cluster.repository.DefaultRepositoryClusteringHandler.DRMListener
All Implemented Interfaces:
org.jboss.ha.framework.interfaces.DistributedReplicantManager.ReplicantListener
Enclosing class:
DefaultRepositoryClusteringHandler

public class DefaultRepositoryClusteringHandler.DRMListener
extends Object
implements org.jboss.ha.framework.interfaces.DistributedReplicantManager.ReplicantListener


Constructor Summary
DefaultRepositoryClusteringHandler.DRMListener()
           
 
Method Summary
 void replicantsChanged(String key, List newReplicants, int newReplicantsViewId, boolean merge)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DefaultRepositoryClusteringHandler.DRMListener

public DefaultRepositoryClusteringHandler.DRMListener()
Method Detail

replicantsChanged

public void replicantsChanged(String key,
                              List newReplicants,
                              int newReplicantsViewId,
                              boolean merge)
Specified by:
replicantsChanged in interface org.jboss.ha.framework.interfaces.DistributedReplicantManager.ReplicantListener


Copyright © 2009 JBoss, a division of Red Hat, Inc.. All Rights Reserved.