1<?php
2    $url = $_GET['url'];
3    $refresh = $_GET['refresh'];
4
5    if (isset($refresh)) {
6        header("HTTP/1.1 200");
7        header("Refresh: $refresh; url=$url");
8        return;
9    }
10
11    $code = $_GET['code'];
12    if (!isset($code))
13        $code = 302;
14    header("HTTP/1.1 $code");
15    header("Location: $url");
16?>
17