web change

mars-project · Oct 20, 2021 · 80ef5cd · 80ef5cd
1 parent ce77c8e
commit 80ef5cd
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/mars/services/web/index.html b/mars/services/web/index.html
@@ -4,6 +4,12 @@
     <title>Mars UI</title>
     <meta name="viewport" content="minimum-scale=1, initial-scale=1, width=device-width" />
     <link rel="icon" href="data:;base64,iVBORw0KGgo=" />
+    <script type="text/javascript">
+      if (!window.location.pathname.endsWith("/")) {
+        window.location.assign(window.location.origin + window.location.pathname
+                + "/" + window.location.hash);
+      }
+    </script>
   </head>
   <body>
     <script async src="static/bundle.js"></script>