📄 servlet1.java
字号:
package book;import javax.servlet.*;import javax.servlet.http.*;import java.io.*;import java.util.*;public class Servlet1 extends HttpServlet{ static final private String CONTENT_TYPE = "text/html; charset=GBK";//初始化全局变量 public void init() throws ServletException { }//处理 HTTP Get 请求 public void doGet(HttpServletRequest request, HttpServletResponse response) throws ServletException, IOException { response.setContentType(CONTENT_TYPE); PrintWriter out = response.getWriter(); out.println("<html>"); out.println("<head><title>Servlet1</title></head>"); out.println("<body>"); out.println("<p>在线人数"+SessionListener.getCount()+"</p>"); out.println("</body></html>"); } //撤消Servlet线程，回收资源 public void destroy() { }}⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -