String config = context.getInitParameter("CONFIGURATION");
if (config == null) {
OpenGrokLogger.getLogger().severe("CONFIGURATION section missing in web.xml");
} else {
try {
env.readConfiguration(new File(config));
} catch (IOException ex) {
OpenGrokLogger.getLogger().log(Level.WARNING, "OpenGrok Configuration error. Failed to read config file: ", ex);
}
}