Moin Herr Dr. Marks,
ja, davon hatten wir auch schon ein paar in dieser Woche und der andere Fehler ist, dass die ServerTools die Datei nicht austauschen kann.
Bei beiden hilft nur: In den ServerTools den tomedo server wieder anstellen und dann nochmal probieren.
Das kann leider bis max. 4 Versuche gehen, danach sollte das Update sauber durchlaufen.
Mit bestem Gruß
Axel Tubbesing
tubbeTEC GmbH Süd - Germering