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. 
 Nach dem Neustart sollten solche Einträge ins Log geschrieben werden: 
 Mon Feb 20 12:33:56 2023: Recovering from crash: Checking OIDs Mon Feb 20 12:33:57 2023: Checking relation tables Mon Feb 20 12:34:50 2023: Checking class tables Mon Feb 20 12:34:53 2023: Checking bidirectional relations