protected Session login(HttpServletRequest request, Repository repository,
String workspace) throws RepositoryException {
protected Session login(HttpServletRequest request, Repository repository,
String workspace) throws RepositoryException {
+ (workspace == null ? "<default>" : workspace)
+ " in web session " + request.getSession().getId());
return repository.login(workspace);
+ (workspace == null ? "<default>" : workspace)
+ " in web session " + request.getSession().getId());
return repository.login(workspace);