in src/main/java/com/googlesource/gerrit/plugins/serverconfig/HideFromNonAdmins.java [52:62]
public void doFilter(ServletRequest req, ServletResponse rsp,
FilterChain chain) throws IOException, ServletException {
try {
permissionBackend.user(user.get()).check(GlobalPermission.ADMINISTRATE_SERVER);
} catch (AuthException | PermissionBackendException e) {
((HttpServletResponse) rsp).sendError(HttpServletResponse.SC_NOT_FOUND,
"Not Found");
return;
}
chain.doFilter(req, rsp);
}