# HG changeset patch
# User nanaya <me@nanaya.net>
# Date 1738947133 -32400
# Node ID 4cb6f04f95c1940ea86a79178643a53d999f3527
# Parent  72580314dd6ad79dc04a655ce611e01d55164bfb
Fix handling url with %2F path

diff -r 72580314dd6a -r 4cb6f04f95c1 index.php
--- a/index.php	Sat Feb 23 02:42:40 2019 +0900
+++ b/index.php	Sat Feb 08 01:52:13 2025 +0900
@@ -10,7 +10,11 @@
     if ($query_string_start !== false) {
         $uri = substr($uri, 0, $query_string_start);
     }
-    $uri = urldecode($uri);
+    $decodedUri = urldecode($uri);
+    if (stripos($uri, '%2F') !== false) {
+        header("Location: {$decodedUri}");
+    }
+    $uri = $decodedUri;
 
     // $dir: filesystem path
     if (isset($_SERVER["DL_DIR"])) {