1 package org.jbpm.scheduler.impl; 2 3 import java.io.IOException ; 4 import java.io.PrintWriter ; 5 6 import javax.servlet.ServletException ; 7 import javax.servlet.http.HttpServlet ; 8 import javax.servlet.http.HttpServletRequest ; 9 import javax.servlet.http.HttpServletResponse ; 10 11 46 public class SchedulerServlet extends HttpServlet { 47 48 private static final long serialVersionUID = 1L; 49 50 Scheduler scheduler = null; 51 52 public void init() throws ServletException { 53 scheduler = new Scheduler(); 55 56 int interval = Integer.parseInt(getInitParameter("interval", "5000")); 58 scheduler.setInterval(interval); 59 int historyMaxSize = Integer.parseInt(getInitParameter("historyMaxSize", "50")); 60 scheduler.setHistoryMaxSize(historyMaxSize); 61 62 getServletContext().setAttribute("scheduler", scheduler); 64 65 scheduler.start(); 67 } 68 69 public void destroy() { 70 scheduler.stop(); 71 } 72 73 protected void doGet(HttpServletRequest request, HttpServletResponse response) throws ServletException , IOException { 74 PrintWriter out = response.getWriter(); 75 out.println("<html>"); 76 out.println("<body>"); 77 out.println("<h2>JBoss jBPM Scheduler Servlet</h2><hr />"); 78 out.println("</body>"); 79 out.println("</html>"); 80 } 81 82 private String getInitParameter(String name, String defaultValue) { 83 String value = getInitParameter(name); 84 if (value!=null) { 85 return value; 86 } 87 return defaultValue; 88 } 89 } 90 | Popular Tags |