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(); }