📄 getserver.java
字号:
/********************** GetServer.java *****************/import java.io.*;import java.util.*;import javax.servlet.*;public class GetServer extends GenericServlet { public void service(ServletRequest req, ServletResponse res) throws ServletException, IOException { ServletContext sc=getServletContext(); res.setContentType("text/plain"); PrintWriter out = res.getWriter(); out.println("req.getServerName(): " + req.getServerName()); out.println("req.getServerPort(): " + req.getServerPort()); out.println("getServletContext().getServerInfo(): " + sc.getServerInfo()); out.println("getServerInfo() name: " + getServerInfoName(sc.getServerInfo())); out.println("getServerInfo() version: " + getServerInfoVersion(sc.getServerInfo())); out.println("getServletContext().getAttribute(\"attribute\"): " + sc.getAttribute("attribute")); } private String getServerInfoName(String serverInfo) { int slash = serverInfo.indexOf('/'); if (slash == -1) return serverInfo; else return serverInfo.substring(0, slash); } private String getServerInfoVersion(String serverInfo) { int slash = serverInfo.indexOf('/'); if (slash == -1) return null; else return serverInfo.substring(slash + 1); } }
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -