diff options
Diffstat (limited to 'mirror.php')
-rw-r--r-- | mirror.php | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -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)) { |