📄 starter.java
字号:
/*
* Created on 2004-8-25
*
* TODO To change the template for this generated file go to
* Window - Preferences - Java - Code Style - Code Templates
*/
package servlet;
import java.io.File;
import javax.servlet.ServletException;
import javax.servlet.http.HttpServlet;
import com.jatools.core.ZReportJob;
/**
* @author java
*
* TODO To change the template for this generated type comment go to
* Window - Preferences - Java - Code Style - Code Templates
*/
public class Starter extends HttpServlet {
/**
* DOCUMENT ME!
*
* @throws ServletException DOCUMENT ME!
*/
public void init() throws ServletException {
String jre = System.getProperty("java.version");
if ("1.4.2".compareTo(jre) > 0) {
throw new ServletException("JRE ERROR: Version 1.4.2 or above that of JDK is required ,but yours is JDK " + jre +
", please refer to Installation Guide of JRS .");
}
String ctx = getServletContext().getRealPath("/");
if(!ctx.endsWith(File.separator))
{
ctx = ctx+File.separator ;
}
ZReportJob.setServletPath(ctx);
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -