def permission_request_processor(page, request):
if not has_permission_to_view(page, request.user):<EOL><INDENT>raise PermissionDenied<EOL><DEDENT>
Raise PermissionDenied unless the user has permission to view the given
page.