📄 jigsawrequestdispatcher.java
字号:
// JigsawRequestDispatcher.java// $Id: JigsawRequestDispatcher.java,v 1.9 2002/07/10 18:52:31 ylafon Exp $// (c) COPYRIGHT MIT, INRIA and Keio, 1999.// Please first read the full copyright statement in file COPYRIGHT.htmlpackage org.w3c.jigsaw.servlet;import java.io.IOException;import java.io.InputStream;import java.io.Reader;import java.io.Writer;import java.io.InputStreamReader;import java.net.URL;import java.net.MalformedURLException;import javax.servlet.RequestDispatcher;import javax.servlet.ServletException;import javax.servlet.ServletRequest;import javax.servlet.ServletResponse;import javax.servlet.ServletOutputStream;import org.w3c.jigsaw.http.httpd;import org.w3c.jigsaw.http.Request;import org.w3c.jigsaw.http.Reply;import org.w3c.tools.resources.InvalidResourceException;import org.w3c.tools.resources.ResourceReference;import org.w3c.tools.resources.Resource;import org.w3c.tools.resources.LookupState;import org.w3c.tools.resources.LookupResult;import org.w3c.tools.resources.FramedResource;import org.w3c.tools.resources.ResourceException;import org.w3c.tools.resources.ProtocolException;import org.w3c.www.http.HTTP;/** * @version $Revision: 1.9 $ * @author Beno顃 Mah
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -