Auto-refreshes page every 10 minutes, closes #32 #41
Conversation
|
Thank you for the PR! I'm hesitant to merge this since the issue was reported by third party and I'm not fully sure what the problem really was. In the server Nginx has "expires 15m;" in the config (it was 1h earlier) so the files should expire fairly frequently and new page loads would refresh the data. Auto refresh could be fine if the site was better at "remembering" stuff like currently used layers for example so the refresh wouldn't disrupt the user. Until we implement those things I believe autorefresh could be worse for the UX so I want to wait until #57 is completed (which should be done after #59 ) |
|
I think that refreshing the whole page is an overkill - users would be forced to download everything every ten minutes. What is really needed is to refresh only the data, not the UI. This PR does not solve this. |
For #32.
Instead of telling people to refresh their page, let's just auto-refresh it every 10 minutes.
Supported by all browsers natively https://developer.mozilla.org/en-US/docs/Web/HTML/Element/meta