323324325326327328329330331332333
{ if (request.length>1) { String id = request[1]; Session session = _container.getSession(id); if (session != null) { session.invalidate(); output.println("ok"); output.flush(); return; } }