Von DefaultServlet auf HttpServlet umgestellt

ulrich

2020-12-28 828ffa35841a585ddeeac9d934e3a4951e1702c0

 src/de/uhilger/wbx/web/MdServlet.java

@@ -25,9 +25,9 @@
import java.util.logging.Logger;
import javax.servlet.ServletException;
import javax.servlet.ServletOutputStream;
import javax.servlet.http.HttpServlet;
import javax.servlet.http.HttpServletRequest;
import javax.servlet.http.HttpServletResponse;
import org.apache.catalina.servlets.DefaultServlet;

/**
 * Das MdServlet fügt dem DefaultServlet von Tomcat 
@@ -43,7 +43,7 @@
 * 
 * TODO: Stylesheets dynamisch einbinden
 */
public class MdServlet extends DefaultServlet {
public class MdServlet extends HttpServlet {
  
  private static final Logger logger = Logger.getLogger(MdServlet.class.getName());
  private static final String HOME_CTX = "/home";