From ebd867b3984aef9263b142ce91374801dbdbda51 Mon Sep 17 00:00:00 2001 From: pck9l3ejt <3282667357@qq.com> Date: Mon, 28 Apr 2025 20:16:22 +0800 Subject: [PATCH] Delete 'ManagerFilter.java' --- ManagerFilter.java | 40 ---------------------------------------- 1 file changed, 40 deletions(-) delete mode 100644 ManagerFilter.java diff --git a/ManagerFilter.java b/ManagerFilter.java deleted file mode 100644 index 6e1890a..0000000 --- a/ManagerFilter.java +++ /dev/null @@ -1,40 +0,0 @@ -package filter; - -import java.io.IOException; - -import javax.servlet.Filter; -import javax.servlet.FilterChain; -import javax.servlet.FilterConfig; -import javax.servlet.ServletException; -import javax.servlet.ServletRequest; -import javax.servlet.ServletResponse; -import javax.servlet.http.HttpServletRequest; -import javax.servlet.http.HttpServletResponse; -import javax.servlet.http.HttpSession; - -/** - * 图书管理员过滤 - */ -public class ManagerFilter implements Filter { - - public void destroy() { - - } - - public void doFilter(ServletRequest request, ServletResponse response, FilterChain chain) - throws IOException, ServletException { - - HttpServletRequest req = (HttpServletRequest) request; - HttpSession session = req.getSession(); - if (session == null || session.getAttribute("manager") == null) { - HttpServletResponse rep = (HttpServletResponse) response; - rep.sendRedirect(req.getContextPath() + "/loginManager.html"); - } - chain.doFilter(request, response); - } - - public void init(FilterConfig fConfig) throws ServletException { - - } - -}