| Index: third_party/WebKit/LayoutTests/imported/wpt/common/redirect.py
|
| diff --git a/third_party/WebKit/LayoutTests/imported/wpt/common/redirect.py b/third_party/WebKit/LayoutTests/imported/wpt/common/redirect.py
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..3f15effc059e7fd46362e7ee5b4cbeb2d218a4aa
|
| --- /dev/null
|
| +++ b/third_party/WebKit/LayoutTests/imported/wpt/common/redirect.py
|
| @@ -0,0 +1,19 @@
|
| +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)
|
|
|