code: public void contextDestroyed(ServletContextEvent sce)
      {
          synchronized (Publisher.class)
          {
              if (Publisher.worker != null)
              {
                  Publisher.worker.interrupt();
              }
          }
      }
docs: /* (non-Javadoc)
  @see javax.servlet.ServletContextListener#contextDestroyed(javax.servlet.ServletContextEvent)