Some checks failed
CI / Build & test (Node 24) (push) Has been cancelled
CI / Pack & boot smoke (Node 22) (push) Has been cancelled
CI / No em/en dashes (push) Has been cancelled
CI / Build & test (Node 22) (push) Has been cancelled
Deploy site (production) / build-and-deploy (push) Successful in 20s
Remplace les 547 tirets cadratins (U+2014) et demi-cadratins (U+2013) des fichiers versionnés par la ponctuation contextuelle adaptée (point médian, deux-points, virgule, parenthèses ; tiret simple pour les plages), sur 122 fichiers (appli, vitrine, doc, tests, workflows, scripts). Ajoute le job CI « lint-dashes » (git grep -P) qui échoue si un tiret cadratin/demi-cadratin réapparaît, hors logo binaire et captures brutes du terminal (fidélité des fixtures de détection de dialogue).
53 lines
2.0 KiB
JavaScript
53 lines
2.0 KiB
JavaScript
// Service worker Arboretum (P4-C) : Web Push + clic de notification.
|
|
// Volontairement minimal, pas de précache offline (hors périmètre P4) : son seul rôle est de
|
|
// recevoir les push (session passée en `waiting`) et d'ouvrir/focus la vue session au clic.
|
|
|
|
self.addEventListener('push', (event) => {
|
|
let data = {};
|
|
try {
|
|
data = event.data ? event.data.json() : {};
|
|
} catch {
|
|
data = {};
|
|
}
|
|
const title = data.title || 'Arboretum';
|
|
const options = {
|
|
body: data.body || 'A session needs your input.',
|
|
tag: data.sessionId || 'arboretum', // remplace la notif précédente de la même session
|
|
data: { url: data.url || '/' },
|
|
icon: '/icon.svg',
|
|
badge: '/icon.svg',
|
|
requireInteraction: true, // ignoré sur iOS, respecté ailleurs
|
|
};
|
|
event.waitUntil(self.registration.showNotification(title, options));
|
|
});
|
|
|
|
self.addEventListener('notificationclick', (event) => {
|
|
event.notification.close();
|
|
const url = (event.notification.data && event.notification.data.url) || '/';
|
|
const target = new URL(url, self.location.origin).href;
|
|
event.waitUntil(
|
|
(async () => {
|
|
const clients = await self.clients.matchAll({ type: 'window', includeUncontrolled: true });
|
|
for (const client of clients) {
|
|
// un onglet de l'app est déjà ouvert : on le focus (et on y navigue si besoin)
|
|
if ('focus' in client) {
|
|
await client.focus();
|
|
if (client.url !== target && 'navigate' in client) {
|
|
try {
|
|
await client.navigate(target);
|
|
} catch {
|
|
// navigate peut échouer selon le contexte ; le focus suffit
|
|
}
|
|
}
|
|
return;
|
|
}
|
|
}
|
|
await self.clients.openWindow(target);
|
|
})(),
|
|
);
|
|
});
|
|
|
|
// Pas de précache : on s'active immédiatement pour que le push soit opérationnel sans recharger.
|
|
self.addEventListener('install', () => self.skipWaiting());
|
|
self.addEventListener('activate', (event) => event.waitUntil(self.clients.claim()));
|