📄 adminfilter.java
字号:
package music.web;
import java.io.IOException;
import javax.servlet.*;
import javax.servlet.http.*;
/**
* check if the user is in role "admin"
*/
public final class AdminFilter implements Filter {
private FilterConfig filterConfig = null;
public void init(FilterConfig filterConfig) throws ServletException {
this.filterConfig = filterConfig;
}
public void destroy() {
this.filterConfig = null;
}
public void doFilter(ServletRequest request, ServletResponse response, FilterChain chain)
throws IOException, ServletException
{
if(request instanceof HttpServletRequest) {
HttpServletRequest req = (HttpServletRequest)request;
AccountManageBD bd = (AccountManageBD)req.getSession().getAttribute(AccountManageBD.ACCOUNT);
if(!bd.isAdmin()) {
String uri = req.getRequestURI();
System.out.println("URI = " + uri);
((HttpServletResponse)response).sendRedirect(req.getContextPath() + "/login/LoginController.jpf");
return;
}
chain.doFilter(request, response);
}
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -