Simplify window.location references

diff --git a/index.html b/index.html
index 7d733acaf0428187cf66915c723cd8c541208a0d..cf56544c1f86e309813166f6b69f2c78a5b9ba3d 100644 (file)
--- a/index.html
+++ b/index.html
@@ -140,7 +140,7 @@
       if (!match) {
         // MUST redirect to a page where the web server serves an actual 404 error (i.e. not just 
         // index.html again) otherwise this triggers an infinite loop
-        window.location.href = `${window.location.protocol}//${window.location.host}/errors/NotFound`;
+        window.location.href = `${window.location.origin}/errors/NotFound`;
       }
     }
 
@@ -151,7 +151,7 @@
         return;
       }
 
-      const base = new URL(`${window.location.protocol}//${window.location.host}`);
+      const base = new URL(`${window.location.origin}`);
       const url = new URL(path, base);
       window.history.pushState({}, '', url);