import javax.servlet.*;
import javax.servlet.http.*;
import java.io.*;
import java.util.*;
public class HelloWorldEndSession extends HttpServlet {
//HTTP リクエストの処理
public void service(HttpServletRequest request,
HttpServletResponse response)
throws ServletException, IOException {
// セッションを取得します
HttpSession session = request.getSession(false);
// セッションが存在する場合
if (session!=null) {
// セッションを無効にします
session.invalidate();
}
response.setContentType("text/html; charset=Shift_JIS");
PrintWriter out = response.getWriter();
out.println("");
out.println("");
out.println("セッション終了");
out.println("");
out.println("");
out.println("");
out.println("");
out.println("");
out.println("セッションを終了しました");
out.println("");
out.println("");
}
}