CrashRecovery nach Neustart ausführen

Nach einer abnormalen Beendigung des DocumentServers muss explizit die Datei documents.ini um den Eintrag

$CrashRecovery 1

erweitert werden. Der Server muss crashen und darf nicht gezielt runtergefahren werden. Dies kann durch die Wartungsoperation "crashServer" oder durch das abschießen der Applikation über den Windows Task-Manager erreicht werden. Der Neustart kann etwas länger dauern.