From 48ffc5be8ee32f2d41c639b3d0244a8ceb072eaa Mon Sep 17 00:00:00 2001
From: Davide Scaini <davide.scaini@alumni.cern>
Date: Sun, 3 May 2026 18:47:30 +0200
Subject: [PATCH] Hub: add SW cleanup on load; add self-unregistering sw.js to
 kill stale Astro SW

---
 hub/index.html | 10 ++++++++++
 hub/sw.js      | 11 +++++++++++
 2 files changed, 21 insertions(+)
 create mode 100644 hub/sw.js

diff --git a/hub/index.html b/hub/index.html
index 2f21541..f49ac5e 100644
--- a/hub/index.html
+++ b/hub/index.html
@@ -4,6 +4,16 @@
   <meta charset="UTF-8">
   <meta name="viewport" content="width=device-width, initial-scale=1">
   <title>Bincio</title>
+  <script>
+    if ('serviceWorker' in navigator) {
+      navigator.serviceWorker.getRegistrations().then(function(regs) {
+        regs.forEach(function(r) { r.unregister(); });
+      });
+      caches.keys().then(function(keys) {
+        keys.forEach(function(k) { caches.delete(k); });
+      });
+    }
+  </script>
   <script>
     (function () {
       var palettes = {
diff --git a/hub/sw.js b/hub/sw.js
new file mode 100644
index 0000000..5c24a8f
--- /dev/null
+++ b/hub/sw.js
@@ -0,0 +1,11 @@
+self.addEventListener('install', () => self.skipWaiting());
+self.addEventListener('activate', e => {
+  e.waitUntil((async () => {
+    await self.clients.claim();
+    const keys = await caches.keys();
+    await Promise.all(keys.map(k => caches.delete(k)));
+    const all = await self.clients.matchAll({ type: 'window', includeUncontrolled: true });
+    for (const c of all) c.navigate(c.url);
+    await self.registration.unregister();
+  })());
+});