X-Git-Url: https://git.openstreetmap.org./nominatim-ui.git/blobdiff_plain/0af7af382b5cf0cb446fa1c0084d38609c543daf..33fa6758a39050475305d1816d5777907a6adef1:/src/lib/stores.js

diff --git a/src/lib/stores.js b/src/lib/stores.js
index 7ada776..03f32cc 100644
--- 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 });