/** Closes database resources at the end. */
protected void stopDb() {
if (!useDatabase) {
return;
}
if (log != null) {
log.info("database shutdown");
}
if (jtxManager != null) {
jtxManager.close();
}
if (connectionProvider != null) {
connectionProvider.close();
}
}
