📄 schedulerservlet.java
字号:
/*
* JBoss, Home of Professional Open Source
* Copyright 2005, JBoss Inc., and individual contributors as indicated
* by the @authors tag. See the copyright.txt in the distribution for a
* full listing of individual contributors.
*
* This is free software; you can redistribute it and/or modify it
* under the terms of the GNU Lesser General Public License as
* published by the Free Software Foundation; either version 2.1 of
* the License, or (at your option) any later version.
*
* This software is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public
* License along with this software; if not, write to the Free
* Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA
* 02110-1301 USA, or see the FSF site: http://www.fsf.org.
*/
package org.jbpm.scheduler.impl;
import java.io.IOException;
import java.io.PrintWriter;
import javax.servlet.ServletException;
import javax.servlet.http.HttpServlet;
import javax.servlet.http.HttpServletRequest;
import javax.servlet.http.HttpServletResponse;
/**
* the jBPM timer execution servlet.
* <p>Config parameters :
* <ul>
* <li><b>interval</b>: maximum time in milliseconds between 2 calls to {@link org.jbpm.scheduler.spi.TimerExecutor#executeTimers()}. defaults to 5000.</li>
* <li><b>historyMaxSize</b>: maximum number of logs to be kept for display on the page. defaults to 50.</li>
* </ul>
* </p>
*
* <p>Configuration example with:
* <pre>
* <web-app>
* ...
* <servlet >
* <servlet-name>SchedulerServlet</servlet-name>
* <servlet-class>org.jbpm.scheduler.impl.SchedulerServlet</servlet-class>
* <init-param>
* <param-name>interval</param-name>
* <param-value>5000</param-value>
* </init-param>
* <init-param>
* <param-name>historyMaxSize</param-name>
* <param-value>50</param-value>
* </init-param>
* <load-on-startup>1</load-on-startup>
* </servlet>
* <servlet-mapping >
* <servlet-name>SchedulerServlet</servlet-name>
* <url-pattern>/jbpmscheduler</url-pattern>
* </servlet-mapping>
* ...
* </web-app>
* </pre>
* </p>
*/
public class SchedulerServlet extends HttpServlet {
private static final long serialVersionUID = 1L;
Scheduler scheduler = null;
public void init() throws ServletException {
// create a new scheduler
scheduler = new Scheduler();
// initialize it with the servlet init parameters
int interval = Integer.parseInt(getInitParameter("interval", "5000"));
scheduler.setInterval(interval);
int historyMaxSize = Integer.parseInt(getInitParameter("historyMaxSize", "50"));
scheduler.setHistoryMaxSize(historyMaxSize);
// put the scheduler in the web app context
getServletContext().setAttribute("scheduler", scheduler);
// start the scheduler
scheduler.start();
}
public void destroy() {
scheduler.stop();
}
protected void doGet(HttpServletRequest request, HttpServletResponse response) throws ServletException, IOException {
PrintWriter out = response.getWriter();
out.println("<html>");
out.println("<body>");
out.println("<h2>JBoss jBPM Scheduler Servlet</h2><hr />");
out.println("</body>");
out.println("</html>");
}
String getInitParameter(String name, String defaultValue) {
String value = getInitParameter(name);
if (value!=null) {
return value;
}
return defaultValue;
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -