/* ----------------------------------------------------------------- */
///
/// ExecRecovery
///
/// <summary>
/// 復旧処理を実行します。
/// </summary>
///
/* ----------------------------------------------------------------- */
static void ExecRecovery(PageCollection pages, SettingsFolder settings)
{
Puts(Properties.Resources.ExecRecovery);
pages.Recover(settings.MaxAbstractLength);
pages.Save();
}