From 988651fbcad1cf6c70d845eb1546ded3b714a52c Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Wed, 22 May 2019 14:50:09 +0200
Subject: mirrors.php: redirect from human-readable to json for now

---
 mirrors.php | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'mirrors.php')

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(
-- 
cgit v1.2.3