From 7a1b09444b845ddad2222e1a9f37e3fbd2f75366 Mon Sep 17 00:00:00 2001
From: Luke Shumaker <lukeshu@sbcglobal.net>
Date: Sun, 22 May 2016 17:16:21 -0400
Subject: mirror: Ensure that directory URIs end with '/'.

Otherwise, relative paths don't work.
---
 mirror.php | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/mirror.php b/mirror.php
index 0031d99..c8ad031 100644
--- a/mirror.php
+++ b/mirror.php
@@ -24,8 +24,12 @@ $filename = explode("?", $_SERVER["REQUEST_URI"], 2)[0];
 if (!file_exists($root.'/'.$filename)) {
 	require $assetdir.'/404.php';
 } elseif (is_dir($root.'/'.$filename)) {
-	// Generate an index page
-	require $assetdir.'/index.php';
+	if (substr("$filename", -1, 1) === "/") {
+		// Generate an index page
+		require $assetdir.'/index.php';
+	} else {
+		header('Location: '.$filename.'/');
+	}
 } else {
 	$mirror = $tier0_url;
 	if (!should_force_tier0($filename)) {
-- 
cgit v1.2.3