void updatePage(LedgerEntryPage lep) throws IOException {
if (!lep.isClean()) {
throw new IOException("Trying to update a dirty page");
}
FileInfo fi = null;
try {
fi = getFileInfo(lep.getLedger(), null);
long pos = lep.getFirstEntryPosition();
if (pos >= fi.size()) {
lep.zeroPage();
} else {
lep.readPage(fi);
}
} finally {
if (fi != null) {
fi.release();
}
}
}
