📄 page_servlet.java~17~
字号:
package faq_project;
import javax.servlet.*;
import javax.servlet.http.*;
import java.io.*;
import java.util.*;
public class Page_Servlet
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);
request.setCharacterEncoding("GBK");
HttpSession session = request.getSession(true);
Page_Bean bean = (Page_Bean) session.getAttribute("bean");
System.out.println("Servlet");
try {
if(request.getParameter("page").equals("Black"))
bean.blackPage();
if(request.getParameter("page").equals("Next"))
bean.nextPage();
if(request.getParameter("page").equals("GOTO"))
bean.gotoPage(Integer.parseInt(request.getParameter("page_num")));
response.sendRedirect("Text_Page.jsp");
}
catch (Exception e) {}
}
//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 + -