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