Extended Nominatim API endpoint config (#142)

[nominatim-ui.git] / src / lib / stores.js

diff --git a/src/lib/stores.js b/src/lib/stores.js
index 7ada7761489c0ddba2547c29f753f688cdc95f37..03f32cc9a03ef1791b1aa164c1172e64ed1eb2ea 100644 (file)
--- a/src/lib/stores.js
+++ b/src/lib/stores.js
@@ -16,7 +16,7 @@ export const page = writable();
  * the requested query parameters. It may also be omitted completely for a
  * link without query parameters.
  */
-const pagenames = ['search', 'reverse', 'details', 'deletable', 'polygons', 'about'];
+const pagenames = ['search', 'reverse', 'details', 'deletable', 'polygons', 'status', 'about'];
 
 export function refresh_page(pagename, params) {
   if (typeof pagename === 'undefined') {
@@ -34,7 +34,13 @@ export function refresh_page(pagename, params) {
     if (param_str) {
       param_str = '?' + param_str;
     }
-    window.history.pushState([], '', pagename + '.html' + param_str);
+    let new_url = pagename + '.html' + param_str;
+
+    if (window.location.protocol.match(/^http/)) {
+      window.history.pushState([], '', new_url);
+    } else {
+      window.location.href = new_url;
+    }
   }
 
   page.set({ tab: pagename, params: params });