Parameters parameters)
throws Exception {
String url = parameters.getParameter("url");
PortalToolManager ptm = (PortalToolManager) this.manager.lookup(PortalToolManager.ROLE);
try {
UserRightsService userRightsService = ptm.getUserRightsService();
// FIXME: replace the throw with something else
if (!userRightsService.userIsAllowed(url, ptm.getPortalObjects().getPortalService().getComponentManager().getProfileManager().getUser())) {
throw new ProcessingException(
"You are not allowed to request this page.");
}
} finally {
this.manager.release(ptm);