From 828ffa35841a585ddeeac9d934e3a4951e1702c0 Mon Sep 17 00:00:00 2001 From: ulrich Date: Mon, 28 Dec 2020 09:53:39 +0000 Subject: [PATCH] Von DefaultServlet auf HttpServlet umgestellt --- src/de/uhilger/wbx/web/MdServlet.java | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/de/uhilger/wbx/web/MdServlet.java b/src/de/uhilger/wbx/web/MdServlet.java index 919dc63..5f37d01 100644 --- a/src/de/uhilger/wbx/web/MdServlet.java +++ b/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"; -- Gitblit v1.9.3