package org.teiid.jboss.coordination;

/**
 * @author Allan Vital
 * @date 2023.06.05
 */
public interface CoordinatorChangeEventListener {

    void onCoordinatorChange(String oldCoordinator, String newCoordinator, boolean isCoordinator);

}
