This is an automated email from the ASF dual-hosted git repository. markt pushed a commit to branch 9.0.x in repository https://gitbox.apache.org/repos/asf/tomcat.git
commit 66b9831a8bb05bbab8f54a4c2d4d2dfea63b0f05 Author: Mark Thomas <ma...@apache.org> AuthorDate: Wed Jan 8 16:33:44 2025 +0000 Suppress false positive warning --- java/org/apache/catalina/webresources/DirResourceSet.java | 1 + 1 file changed, 1 insertion(+) diff --git a/java/org/apache/catalina/webresources/DirResourceSet.java b/java/org/apache/catalina/webresources/DirResourceSet.java index 026c61a065..512adf8b8a 100644 --- a/java/org/apache/catalina/webresources/DirResourceSet.java +++ b/java/org/apache/catalina/webresources/DirResourceSet.java @@ -96,6 +96,7 @@ public class DirResourceSet extends AbstractFileResourceSet implements WebResour } + @SuppressWarnings("null") // lock can never be null when lock.key is read @Override public WebResource getResource(String path) { checkPath(path); --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org