summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
31769b1)
As a bonus, this gets around the problem that the Django dev server doesn't
set REQUEST_URI.
return user
def scripts_login(request, **kwargs):
return user
def scripts_login(request, **kwargs):
- if request.META['HTTP_HOST'] == 'localhost':
+ host = request.META['HTTP_HOST'].split(':')[0]
+ if host == 'localhost':
return login(request, **kwargs)
elif request.META['SERVER_PORT'] == '444':
if request.user.is_authenticated():
return login(request, **kwargs)
elif request.META['SERVER_PORT'] == '444':
if request.user.is_authenticated():
return login(request, **kwargs)
else:
# Move to port 444
return login(request, **kwargs)
else:
# Move to port 444
- host = request.META['HTTP_HOST'].split(':')[0]
redirect_to = "https://%s:444%s" % (host, request.META['REQUEST_URI'], )
return HttpResponseRedirect(redirect_to)
redirect_to = "https://%s:444%s" % (host, request.META['REQUEST_URI'], )
return HttpResponseRedirect(redirect_to)