*/
@Override
public void terminate() {
- /* stop the web interface. */
- webInterface.stop();
+ try {
+ /* stop the web interface. */
+ webInterface.stop();
- /* stop the core. */
- core.stop();
+ /* stop the core. */
+ core.stop();
- /* TODO wait for core to stop? */
- try {
- pluginRespirator.putStore(pluginStore);
- } catch (DatabaseDisabledException dde1) {
- logger.log(Level.WARNING, "Could not store plugin store, database is disabled.", dde1);
- }
+ /* TODO wait for core to stop? */
+ try {
+ pluginRespirator.putStore(pluginStore);
+ } catch (DatabaseDisabledException dde1) {
+ logger.log(Level.WARNING, "Could not store plugin store, database is disabled.", dde1);
+ }
- /* shutdown logger. */
- Logging.shutdown();
+ } finally {
+ /* shutdown logger. */
+ Logging.shutdown();
+ }
}
//