HTTPRepository repo = (HTTPRepository)session.getAttribute(SessionKeys.REPOSITORY_KEY);
if (request.getRequestURI().endsWith("/repository/overview.view")) {
String id = request.getParameter("id");
if (id != null) {
Server server = (Server)session.getAttribute(SessionKeys.SERVER_KEY);
repo = (HTTPRepository)server.getRepositoryManager().getRepository(id);
try {
repo.initialize();
repoInfo = server.getRepositoryManager().getRepositoryInfo(id);
}
catch (RepositoryException e) {
session.setAttribute(SessionKeys.REPOSITORY_EXCEPTION_KEY, e);
}
session.setAttribute(SessionKeys.REPOSITORY_KEY, repo);