/** @see ServletContextListener#contextDestroyed(ServletContextEvent) */
public void contextDestroyed(ServletContextEvent arg0) {
if (distriServer != null) distriServer.stop();
if (activityServer != null) activityServer.stop();
Logger.log("Tomcat context destroyed!");
}
/** @see ServletContextListener#contextInitialized(ServletContextEvent) */
public void contextInitialized(ServletContextEvent arg0) {
Logger.log("Tomcat context started!");
String path = arg0.getServletContext().getRealPath("/");
distriServer = new WebSocketServer(path);
distriServerThread = new Thread(distriServer, "websocket-server");
distriServerThread.start();
activityServer = new ActivityMonitoringServer();
activityMonitorThread = new Thread(activityServer, "activity-monitor");
activityMonitorThread.start();
}