owltide/components
Hornwitser 52dfde95d1 Tie push subscriptions to current session
If a user logs out from a device the expectation should be that device
no longer having any association with the user's account.  Any existing
push notifications should thefore be removed on server.  For this reason
tie push notifications to a session, and remove them when the session is
deleted.
2025-03-07 15:47:48 +01:00
..
EventCard.vue Port application from Next.js to Nuxt 2025-03-05 15:36:50 +01:00
EventsEdit.vue EventsEdit: Handle no events existing 2025-03-05 19:10:24 +01:00
Header.vue Tie push subscriptions to current session 2025-03-07 15:47:48 +01:00
PushNotification.vue Tie push subscriptions to current session 2025-03-07 15:47:48 +01:00
timetable-terminology.png Port application from Next.js to Nuxt 2025-03-05 15:36:50 +01:00
Timetable.vue Fix day header inserted into break 2025-03-06 00:37:40 +01:00