org.jacorb.poa

Interface RPPoolManagerListener

public interface RPPoolManagerListener extends EventListener

A poa event listener interface for receiving request processor pool manager events.

Version: 1.01, 06/20/99, RT

Author: Reimo Tiedemann, FU Berlin

Method Summary
void	processorAddedToPool(RequestProcessor processor, int pool_count, int pool_size)
void	processorRemovedFromPool(RequestProcessor processor, int pool_count, int pool_size)

Method Detail

public void processorAddedToPool(RequestProcessor processor, int pool_count, int pool_size)

public void processorRemovedFromPool(RequestProcessor processor, int pool_count, int pool_size)