fixed reloading

shenrunzhang · shenrunzhang · commit 519c320fc146 · 2025-11-03T14:05:21.000-06:00
diff --git a/public/404.html b/public/404.html
@@ -1,7 +1,16 @@
 <!DOCTYPE html>
 <html>
   <head>
-    <meta http-equiv="refresh" content="0; url=./" />
+    <meta charset="utf-8" />
+    <title>Redirecting...</title>
+    <script type="text/javascript">
+      // Redirect all paths (like /leaderboard) back to index.html,
+      // but preserve the original path for React Router.
+      const redirectTo = window.location.protocol + '//' + window.location.host + '/?' +
+        'p=' + window.location.pathname + window.location.search + window.location.hash;
+      window.location.replace(redirectTo);
+    </script>
   </head>
-  <body></body>
+  <body>
+  </body>
 </html>
diff --git a/public/index.html b/public/index.html
@@ -1,6 +1,17 @@
 <!doctype html>
 <html lang="en">
   <head>
+    <script type="text/javascript">
+      // If we came here via the redirect above, rewrite the URL back
+      // to the original path so React Router can pick it up.
+      (function() {
+        const params = new URLSearchParams(window.location.search);
+        const redirectPath = params.get('p');
+        if (redirectPath) {
+          window.history.replaceState({}, '', redirectPath);
+        }
+      })();
+    </script>
     <meta charset="utf-8" />
     <link rel="icon" href="%PUBLIC_URL%/favicon.ico" />
     <meta name="viewport" content="width=device-width, initial-scale=1" />
