return;
}
_closed = true;
}
PersistitException pe = null;
try {
closeChannel();
} catch (final Exception e) {
_persistit.getLogBase().exception.log(e);
// has priority over Exception thrown by
// releasing file lock.
pe = new PersistitException(e);
}
try {
if (_path != null) {
final File file = new File(_path);
file.delete();
}
} catch (final Exception e) {
_persistit.getLogBase().exception.log(e);
// has priority over Exception thrown by
// releasing file lock.
pe = new PersistitException(e);
}
if (pe != null) {
throw pe;
}