code: protected synchronized void doStop()
          throws Exception
      {
          // Sort and Initialize servlets
          ServletHolder[] holders = getServlets();
          
          // Stop servlets
          for (int i=holders.length; i-->0;)
          {
              try
              {
                  if (holders[i].isStarted())
                      holders[i].stop();
              }
              catch(Exception e){log.warn(LogSupport.EXCEPTION,e);}
          }
          
          // Stop the session manager
          _sessionManager.stop();
          _attributes.clear();
          _loader=null;
      }
docs: /* -----------------------------------------------------------------