Fix PCT problem of jenkinsci#8418

daniel-beck · Aug 24, 2023 · 3ed1df3 · 3ed1df3
1 parent ae74db6
commit 3ed1df3
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/core/src/main/java/jenkins/ErrorAttributeFilter.java b/core/src/main/java/jenkins/ErrorAttributeFilter.java
@@ -27,4 +27,9 @@ public void doFilter(ServletRequest servletRequest, ServletResponse servletRespo
         servletRequest.setAttribute(USER_ATTRIBUTE, authentication);
         filterChain.doFilter(servletRequest, servletResponse);
     }
+
+    @Override
+    public void destroy() {
+        // Otherwise the PCT fails
+    }
 }