public void terminate(){
  run=false;
  if (ss != null) {
    try {
      ss.close();
    }
 catch (    Exception e) {
      logger.log(Level.WARNING,"Exception closing Webster ServerSocket",e);
    }
  }
  if (lifeCycle != null) {
    lifeCycle.unregister(this);
  }
  if (pool != null) {
    pool.shutdown();
  }
}

public void terminate ( ) { run = false ; if ( ss != null ) { try { ss . close ( ) ; } catch ( Exception e ) { logger . log ( Level . WARNING , "Exception closing Webster ServerSocket" , e ) ; } } if ( lifeCycle != null ) { lifeCycle . unregister ( this ) ; } if ( pool != null ) { pool . shutdown ( ) ; } }
terminate a running webster instance
