diff options
| author | Erich Eckner <git@eckner.net> | 2019-05-22 14:50:09 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-05-22 14:50:09 +0200 |
| commit | 988651fbcad1cf6c70d845eb1546ded3b714a52c (patch) | |
| tree | c80dc2c85777ca5d355e9af9e7ef1633df8ef873 /mirrors.php | |
| parent | e461b95c6777515cdd0387564b4b244ea1a3527c (diff) | |
| download | archweb32-988651fbcad1cf6c70d845eb1546ded3b714a52c.tar.xz | |
mirrors.php: redirect from human-readable to json for now
Diffstat (limited to 'mirrors.php')
| -rw-r--r-- | mirrors.php | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/mirrors.php b/mirrors.php index 5bbace0..feffc9a 100644 --- a/mirrors.php +++ b/mirrors.php @@ -233,6 +233,10 @@ if ($uri_parts[0] == 'status') { ); if (count($uri_parts) == 1) { // human readable + // TODO + header('HTTP/1.1 303 See Other'); + header('Location: /mirrors/status/json/'); + die(); } // human readable if (!export_as_requested( |