Der drkserver hatte seit Dienstag Push-Nachrichten nur unzuverlässig verschickt. Etwa ein Prozent aller Nachrichten waren betroffen und gingen nicht raus. Grund war ein Problem mit einer Schnittstelle.
Das hatte sich in einigen Fällen auch auf Funktionen im drkserver ausgewirkt - zum Beispiel beim Veröffentlichen von Ereignissen oder dem Bearbeiten von Ereignissen mit vielen Teilnehmenden. Das sind Bereiche, in denen Push-Nachrichten eine Rolle spielen. Die Folge: Betroffene Anwenderinnen und Anwender bekamen eine Fehlermeldung und landeten auf der Startseite des drkservers.
Den Hotfix haben die Entwickler am Mittwoch eingespielt. Das drkserver-Team hat zunächst beobachtet, ob diese Maßnahme zum Erfolg führt. Das scheint der Fall zu sein.