User user = (User) request.getSession()
.getAttribute("user");
// if user is null, stick with the default that none of
// the results is editable
if (user != null) {
SearchResult result;
boolean includeExtras = request
.getParameter("includeExtras") == null ? false
: true;
for (int m = results.size() - 1; m >= 0; m--) {
result = results.get(m);
try {
if (wm.canEdit(user, pm.getProjectHandle(result
.getProjectId()), ContentType.valueOf(
result.getVBO().getType()).getPlural(),
result.getVBO().getId())) {
result.setUserEditable(true);
} else if (!includeExtras) {
results.remove(m);
}
} catch (NoSuchProjectException e) {
Logger
.error("Couldn't get project handle for ID "
+ result.getProjectId());
}
}
}
}