") -- was probably for a deleted repository.");
}
} else {
// Should really _not_ happen based on the notes
// provided above.
throw new RepositoryFlushException("Could not " +
"flush NULL repository -- was perhaps " +
"already GC'ed?");
}
} catch (Exception e) {
logger__.error("Failed miserably to flush repository " +