private void destroyDriverConfiguration(ServletContext servletContext) {
DriverConfiguration driverConfig = (DriverConfiguration)
servletContext.getAttribute(DRIVER_CONFIG_KEY);
if (driverConfig != null) {
try {
driverConfig.destroy();
if (LOG.isInfoEnabled()) {
LOG.info("Pluto Portal Driver Config destroyed.");
}
} catch (DriverConfigurationException ex) {
LOG.error("Unable to destroy portal driver config: "