-
Robert Knight authored
When reconnecting to the push notification service after a disconnection, re-send the configuration messages that specify the client ID (this is a per-session ID) and the current annotation filter. Without both of these, the client will not receive future notifications.
b3dee63d