newPageDB.close();
String oldName = oldPageDB.getDir();
PageDB tmpPageDB = new PageDB(pagedbDir+".tmp");
tmpPageDB.deleteDir(false);
if (attempt(oldPageDB.rename(tmpPageDB.getDir()), "renaming pagedb -> pagedb.tmp")) {
if (attempt(newPageDB.rename(oldName), "renaming pagedb.new -> pagedb")) {
if (attempt(tmpPageDB.deleteDir(false), "deleting pagedb.tmp")) {
logger.info("Done redistributing.");
}
}
}