Revision 35ef11d0f60dae103603ee92fd71a98bc3e12e7c authored by Luke Bjerring on 23 March 2018, 19:14:21 UTC, committed by Luke Bjerring on 23 March 2018, 19:58:00 UTC
1 parent 4578f69
redirect-opt-in.py
def main(request, response):
"""Simple handler that causes redirection.
The request should typically have two query parameters:
status - The status to use for the redirection. Defaults to 302.
location - The resource to redirect to.
"""
status = 302
if "status" in request.GET:
try:
status = int(request.GET.first("status"))
except ValueError:
pass
response.status = status
location = request.GET.first("location")
response.headers.set("Location", location)
response.headers.set("Timing-Allow-Origin", "*")
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...