📄 mainservlet.java~9~
字号:
package chat;
import javax.servlet.*;
import javax.servlet.http.*;
import java.io.*;
import java.util.*;
public class MainServlet 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();
String usrName = request.getParameter("username");
if (usrName == null || usrName.equals("")) {
out.println("<h1 style = 'color:red' align = center> 请返回并输入有效的用户名</h1>");
} else {
Vector vec = (Vector)getServletContext().getAttribute("userArray");
if (vec == null) {
vec = new Vector();
}
if (!vec.contains(usrName)) {
vec.add(usrName);
HttpSession ses = request.getSession();
ses.setAttribute("username",usrName);
getServletContext().setAttribute("USERNAME",usrName);
getServletContext().setAttribute("userArray",vec);
out.println("<html>");
out.println("<frameset rows = '80%,*'>");
out.println("<frame src = 'topservlet?name =" + usrName + "'>");
out.println("<frame src = 'messageservlet?name = " + usrName + "'>");
out.println("</frameset>");
out.println("</html>");
} else {
out.println("<h1 style = 'color:red' align = center>正在使用的用户ID</h1>");
}
}
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 + -