request.setFiles(null);
}
if (servletRequest.getUserPrincipal() == null) {
// TODO this user should not necessarly change from request to request (maybe). only works if the user has cookies, see how django handles.
request.setUser(new AnonymousUser());
} else {
request.setUser(new PrincipalUser(servletRequest));
}
HttpResponse response = requestProcessor.service(request);