Пример #1
0
 public void contextDestroyed(ServletContextEvent arg0) {
   if (_webman != null) {
     if (_webmanCreated) _webman.destroy();
     _webman = null;
   }
 }