diff options
author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2022-01-31 15:28:12 +0100 |
---|---|---|
committer | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2022-02-06 18:53:50 +0100 |
commit | 948e66c3d6930924b54ec48a0dfc929040befb0a (patch) | |
tree | e188b040ed21bb5eb970a7d15e7cf3f18e037274 /editor/plugins/resource_preloader_editor_plugin.cpp | |
parent | 3cc72ac03f6d7254220b17e23384196112c60192 (diff) |
[HTML5] Implement JavaScript PWA update callbacks.
Allows detecting when a new version of the progressive web app service
worker is waiting (i.e. an update is pending), along a function to force
the update and reload all clients.
Diffstat (limited to 'editor/plugins/resource_preloader_editor_plugin.cpp')
0 files changed, 0 insertions, 0 deletions