{
final ServletContext servletContext = servletContextEvent.getServletContext() ;
final String minWorkerCountParam = servletContext.getInitParameter("TaskManager.minWorkerCount") ;
final String maxWorkerCountParam = servletContext.getInitParameter("TaskManager.maxWorkerCount") ;
final TaskManager taskManager = TaskManager.getManager() ;
if (minWorkerCountParam != null)
{
try
{
final int minWorkerCount = Integer.parseInt(minWorkerCountParam) ;
taskManager.setMinimumWorkerCount(minWorkerCount) ;
}
catch (final NumberFormatException nfe)
{
WSCLogger.arjLoggerI18N.debug("com.arjuna.services.framework.admin.TaskManagerInitialisation_1") ;
}
}
if (maxWorkerCountParam != null)
{
try
{
final int maxWorkerCount = Integer.parseInt(maxWorkerCountParam) ;
taskManager.setMaximumWorkerCount(maxWorkerCount) ;
}
catch (final NumberFormatException nfe)
{
WSCLogger.arjLoggerI18N.debug("com.arjuna.services.framework.admin.TaskManagerInitialisation_2") ;
}