Da ist bei ein paar Kunden der Push++ Server ausgefallen gewesen, der Hauptprozess lief aber ohne Probleme.

Sprich, kannst du ignorieren sofern es nicht wieder auftritt