* recordObsoleteNodes() is usually called in the
* database operation itself on a to-be-deleted
* database, but we'll need to call it here on a "new"
* database if we're cleaning up after an abort.
*/
dbImpl.recordObsoleteNodes();
}
dbImpl.deleteAndReleaseINs();
}
}
deletedDatabases = null;