Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2019-05-22 14:50:09 +0200
committerErich Eckner <git@eckner.net>2019-05-22 14:50:09 +0200
commit988651fbcad1cf6c70d845eb1546ded3b714a52c (patch)
treec80dc2c85777ca5d355e9af9e7ef1633df8ef873
parente461b95c6777515cdd0387564b4b244ea1a3527c (diff)
mirrors.php: redirect from human-readable to json for now
-rw-r--r--mirrors.php4
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(