}
}
/* Terminate the DiscoveryManagementPool */
DiscoveryManagementPool discoPool = DiscoveryManagementPool.getInstance();
if(discoPool!=null)
discoPool.terminate();
/* Tell the utility that started the Cybernode we are going away */
ServiceBeanManager serviceBeanManager = context.getServiceBeanManager();
if(serviceBeanManager!=null) {
DiscardManager discardMgr = serviceBeanManager.getDiscardManager();