1 7 package com.inversoft.verge.config.servlet; 8 9 10 import java.io.IOException ; 11 12 import javax.servlet.ServletException ; 13 import javax.servlet.http.HttpServlet ; 14 import javax.servlet.http.HttpServletRequest ; 15 import javax.servlet.http.HttpServletResponse ; 16 17 import com.inversoft.verge.config.VergeConfigMonitor; 18 19 20 32 public class ConfigServlet extends HttpServlet { 33 34 37 public ConfigServlet() { 38 super(); 39 } 40 41 42 47 public void init() { 48 VergeConfigMonitor.refresh(getServletContext()); 50 } 51 52 55 public void doGet(HttpServletRequest request, HttpServletResponse response) 56 throws ServletException , IOException { 57 doPost(request, response); 58 } 59 60 64 public void doPost(HttpServletRequest request, HttpServletResponse response) 65 throws ServletException , IOException { 66 VergeConfigMonitor.refresh(getServletContext()); 67 } 68 } | Popular Tags |