Entzug greift auch im offenen Ereignisstrom

Nachgesehen, was bei Herabstufung, Rollenentzug, Rauswurf und Austritt
passiert. Für Requests war alles abgedeckt: der Worker löscht die Sitzungen,
ein Trigger verwirft die zwischengespeicherten Rechte, getCurrentUser prüft bei
jedem Request Sitzungszeile, isActive und Mitgliedschaft nach. Die Zeile in der
Datenbank ist der Nachweis, nicht das Cookie - und eine Zeile lässt sich
zurückziehen.

Eine Stelle fiel dabei durch: der Ereignisstrom stellt keine neuen Requests. Er
prüfte einmal beim Verbinden und lief danach mit einer eingefrorenen
Rechtekopie weiter. Wer mit offenem Tab hinausgeworfen wurde, bekam weiter
Chatnachrichten zugestellt, mit vollem Text - jeder Seitenaufruf wäre
abgemeldet gewesen, aber es machte ja keiner mehr einen.

/api/stream löst Sitzung und Rechte jetzt bei jedem Ereignis und bei jedem
Herzschlag neu auf. Ändern sich die Rechte, werden auch die erlaubten Themen
neu bestimmt: ein Ereignis zu einem Verlaufseintrag trägt nur eine Kennung, das
Thema ist dort die einzige Schranke. Ist die Sitzung weg, geht ein revoked
hinaus und die Verbindung wird geschlossen - Schliessen allein genügt nicht,
EventSource baut sofort wieder auf.

Fünf Tests für die Web-Hälfte der Kette; die Discord-Hälfte deckte
worker/tests/mitgliedschaft.test.ts schon ab.

web/components/realtime/useStream.ts

@@ -43,6 +43,17 @@ export function useStream(topics: string[], handlers: StreamHandlers): void {
       angemeldet.push([name, listener])
     }
 
+    // Der Server meldet einen Entzug ausdrücklich, statt die Verbindung nur
+    // fallen zu lassen: `EventSource` baut sonst sofort wieder auf, und man
+    // arbeitet auf einer Seite weiter, für die man keine Rechte mehr hat.
+    // Neu laden führt in die Anmeldung — dorthin, wo man jetzt hingehört.
+    const entzogen: EventListener = () => {
+      quelle.close()
+      window.location.reload()
+    }
+    quelle.addEventListener('revoked', entzogen)
+    angemeldet.push(['revoked', entzogen])
+
     return () => {
       for (const [name, listener] of angemeldet) quelle.removeEventListener(name, listener)
       quelle.close()