Benutzerkontext über WebSocket bei Änderungen pushen
Bisher wird WebSocket für #138 (closed) eingesetzt. Eine Verbindung wird erst aufgebaut, wenn man sich auf der entsprechenden Seite befindet. Zukünftig sollen WebSocket auch für andere Dinge eingesetzt werden. Darunter der Push von Änderungen beim Benutzerkontext.
-
In app.module
denAPP_INITIALIZER
einkommentieren -
Weiteres topic /principal/{id} mit Rechteprüfung -
FE: Manuelle Refreshs mit this.store.dispatch(new LoadPrincipal())
entfernen -
FE: Topic abonnieren und Principal im Store aktualisieren