📄 page_servlet.java
字号:
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);
try {
Page_Bean pagebean1 = (Page_Bean) session.getAttribute("Pbean");
if(request.getParameter("pagetype").equals("Black"))
pagebean1.blackPage();
if(request.getParameter("pagetype").equals("Next"))
pagebean1.nextPage();
if(request.getParameter("pagetype").equals("GOTO"))
pagebean1.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 + -