798799800801802803804805806807808
"checkpoint. State: " + fileSelector); } } } } finally { fileManager.releaseExclusiveLock(); } /* * Now unprotectedFiles contains only the files we deleted above. We * can update the UP (and FileSelector) here outside of the
688689690691692693694695696697698