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

Reply via email to