mirror: Ensure that directory URIs end with '/'.

Otherwise, relative paths don't work.

1 files 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)) {