diff options
author | Kristóf Marussy <kristof@marussy.com> | 2022-08-19 21:23:31 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2022-08-20 21:41:50 +0200 |
commit | beda5138e018d9a853d57bd7274a35c21fa5c366 (patch) | |
tree | 3f6ff98c917db824a850c85eee7fbd76021adc27 /subprojects/language-ide/src/main | |
parent | feat(frontend): add PWA manifest (diff) | |
download | refinery-beda5138e018d9a853d57bd7274a35c21fa5c366.tar.gz refinery-beda5138e018d9a853d57bd7274a35c21fa5c366.tar.zst refinery-beda5138e018d9a853d57bd7274a35c21fa5c366.zip |
fix(frontend): destroy service worker in dev mode
If the application is run in both production and development mode on the
same domain, make sure to clean up the production service worker.
Diffstat (limited to 'subprojects/language-ide/src/main')
0 files changed, 0 insertions, 0 deletions