[FLINK-15993] Move 404 "refresh" redirect into noscript block, add ti…

…meout Apparently, search engines penalize META refresh links and this gets around it
a49a · Feb 13, 2020 · 3c7eeed · 3c7eeed
1 parent fcb443a
commit 3c7eeed
Showing 1 changed file with 11 additions and 2 deletions.
diff --git a/docs/_layouts/404_base.html b/docs/_layouts/404_base.html
@@ -20,9 +20,18 @@
 <html lang="en-US">
   <head>
     <meta charset="UTF-8">
-    <meta http-equiv="refresh" content="0; url=https:{{ site.stable_baseurl }}">
+    <noscript>
+      <meta http-equiv="refresh" content="5; url=https:{{ site.stable_baseurl }}">
+    </noscript>
     <script type="text/javascript">
-      window.location.href = "https:{{ site.stable_baseurl }}"
+      var documentationRootUrl = "https:{{ site.stable_baseurl }}";
+      var timeout = "5000";
+      window.onload = function() {
+        setTimeout(doRedirect, timeout);
+      }
+      function doRedirect() {
+        window.location.href = documentationRootUrl;
+      }
     </script>
     <title>404</title>
   </head>