📄 userservlet.java~11~
字号:
package server.admin;
import javax.servlet.*;
import javax.servlet.http.*;
import java.io.*;
import java.util.*;
import dao.UserInfo;
import domain.UserInfoForm;
import tool.PageBreak;
public class UserServlet 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);
UserInfo user = new UserInfo();
UserInfoForm uf = new UserInfoForm();
Collection list = new ArrayList();
String page = request.getParameter("page");
if (page == null || page.equals("")) {
page = "1";
}
PageBreak pb = new PageBreak();
list = user.select(uf, Integer.parseInt(page));
String str = pb.count(6,user.count(), Integer.parseInt(page),
"user.html");
request.setAttribute("list", list);
request.setAttribute("str", str);
request.getRequestDispatcher("WEB-INF/admin/ManagerUser.jsp").forward(request,
response);
}
//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 + -