📄 userlist.java~5~
字号:
package chat;
import javax.servlet.*;
import javax.servlet.http.*;
import java.io.*;
import java.util.*;
public class UserList 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);
response.setCharacterEncoding("GBK");
request.setCharacterEncoding("GBK");
PrintWriter out = response.getWriter();
out.println("<html>");
out.println("<meta http-equiv='refresh' content = '3;userlit'>");
out.println("<head><title>userlist</title></head>");
out.println("<body bgcolor=\"#ffffff\">");
Vector usr = (Vector)getServletContext().getAttribute("userArray");
String UserName = request.getParameter("username");
if (usr == null) {
throw new ServletException("Servlet中发生错误！");
}
for (int i = 0; i < usr.size(); i++) {
if (String.valueOf(usr.get(i)).equals(UserName)) {
out.println("<b>" + String.valueOf(usr.get(i)) + "</b><br>");
} else {
out.println(String.valueOf(usr.get(i)) + "<br>");
}
}
out.println("</body>");
out.println("</html>");
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 + -