Fix the auto-builder redirect pages to maintain the URL fragment (#7801)

andreubotella · web-flow · commit 350449dacc6c · 2022-10-05T15:34:02.000-07:00
diff --git a/bin/templates/redirect.html.j2 b/bin/templates/redirect.html.j2
@@ -1,10 +1,24 @@
 <!DOCTYPE html>
 <meta charset="UTF-8" />
-<meta http-equiv="refresh" content="0; URL=../{{ spec_folder }}/" />
+<!--
+  We want the redirect to keep the current URL's fragment, but that can't be
+  done if without JS support. So we use a meta refresh inside a noscript for
+  browsers that don't support JS, and do a JS-based redirection otherwise.
+-->
+<noscript>
+  <meta http-equiv="refresh" content="0; URL=../{{ spec_folder }}/" />
+</noscript>
 <title>Redirecting...</title>
 <style>
   :root {
     color-scheme: light dark;
   }
 </style>
-<p>Redirecting to <a href="../{{ spec_folder }}/">{{ spec_folder }}</a>...</p>
+<p>Redirecting to <a href="../{{ spec_folder }}/">{{ spec_folder }}</a>...</p>
+
+<script>
+  // JS-based redirection.
+  const url = new URL("../{{ spec_folder }}/", location.href);
+  url.hash = location.hash;
+  location.replace(url.href);
+</script>
