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
voidprocessorAddedToPool(RequestProcessor processor, int pool_count, int pool_size)
voidprocessorRemovedFromPool(RequestProcessor processor, int pool_count, int pool_size)

Method Detail

processorAddedToPool

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

processorRemovedFromPool

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