private void destroyInternalSession(SessionID sessionID){
  InternalSession sess=sessionAccessManager.removeInternalSession(sessionID);
  if (sess != null && sess.getState() != INVALID) {
    signalRemove(sess,SessionEventType.DESTROY);
    sessionAuditor.auditActivity(sess.toSessionInfo(),AM_SESSION_DESTROYED);
  }
  sessionAccessManager.removeSessionId(sessionID);
}

private void destroyInternalSession ( SessionID sessionID ) { InternalSession sess = sessionAccessManager . removeInternalSession ( sessionID ) ; if ( sess != null && sess . getState ( ) != INVALID ) { signalRemove ( sess , SessionEventType . DESTROY ) ; sessionAuditor . auditActivity ( sess . toSessionInfo ( ) , AM_SESSION_DESTROYED ) ; } sessionAccessManager . removeSessionId ( sessionID ) ; }
destroy a internal session , whose session id has been specified .
