public void destroy() {
Log.info("destroy(): Exit Pushlet webapp");
if (Config.getBoolProperty(Config.SOURCES_ACTIVATE)) {
// Stop local event sources
EventSourceManager.stop();
} else {
Log.info("No local event sources to stop");
}
// Should abort all subscribers
Dispatcher.getInstance().stop();
// Should stop all sessions
SessionManager.getInstance().stop();
}