📄 userexit.java
字号:
package bbs.servlet;
import javax.servlet.*;
import javax.servlet.http.*;
import java.io.*;
import java.util.*;
import com.db.DBAccess;
public class UserExit
extends HttpServlet {
private static final String CONTENT_TYPE = "text/html; charset=GBK";
//Initialize global variables
public void init() throws ServletException {
}
//Process the HTTP Get request
public void doGet(HttpServletRequest request, HttpServletResponse response) throws
ServletException, IOException {
response.setContentType(CONTENT_TYPE);
PrintWriter out = response.getWriter();
//用户退出Session清空
HttpSession session = request.getSession();
try
{
String name = (String)session.getAttribute("username");
DBAccess db = new DBAccess();
System.out.println(name);
db.setStateTo(name);
session.invalidate();
out.print("<script language='javascript'>");
out.print("parent.location='index.jsp';");
out.print("</script>");
}
catch(Exception ex)
{
ex.printStackTrace();
request.setAttribute("message",ex);
request.getRequestDispatcher("error.jsp").forward(request,response);
}
out.close();
}
//Process the HTTP Post request
public void doPost(HttpServletRequest request, HttpServletResponse response) throws
ServletException, IOException {
doGet(request, response);
}
//Clean up resources
public void destroy() {
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -