This is an automated email from the ASF dual-hosted git repository.
markt pushed a commit to branch main
in repository https://gitbox.apache.org/repos/asf/tomcat.git
The following commit(s) were added to refs/heads/main by this push:
new 787458fbba Better handling of *.db files
787458fbba is described below
commit 787458fbba08487acc2e2e773fb7c3fc5800f671
Author: Mark Thomas <[email protected]>
AuthorDate: Tue Jan 20 15:16:17 2026 +0000
Better handling of *.db files
Limit *.db text file mapping to OpenSSL files.
Exclude them from checkstyle
---
build.xml | 8 ++++++--
1 file changed, 6 insertions(+), 2 deletions(-)
diff --git a/build.xml b/build.xml
index 6b7f6197dc..14d2960f05 100644
--- a/build.xml
+++ b/build.xml
@@ -308,18 +308,18 @@
<include name="**/LICENSE"/>
<include name="**/NOTICE"/>
<include name="**/RELEASE-NOTES"/>
+ <include name="**/index.db"/>
+ <include name="**/index.db.attr"/>
<include name="**/jakarta.el.ExpressionFactory"/>
<include name="**/jakarta.servlet.ServletContainerInitializer"/>
<include name="**/jakarta.websocket.ContainerProvider"/>
<include
name="**/jakarta.websocket.server.ServerEndpointConfig$Configurator"/>
<include name="**/.gitignore"/>
<include name="**/*-password"/>
- <include name="**/*.attr"/>
<include name="**/*.bnd"/>
<include name="**/*.classpath"/>
<include name="**/*.conf"/>
<include name="**/*.css"/>
- <include name="**/*.db"/>
<include name="**/*.dtd"/>
<include name="**/*.editorconfig"/>
<include name="**/*.h"/>
@@ -921,6 +921,8 @@
<exclude name="res/maven/mvn.properties" />
<!-- Exclude the default Coverity Scan output directory -->
<exclude name="cov-int/**" />
+ <!-- Exclude OpenSSL index files -->
+ <exclude name="**/index.db" />
</fileset>
<fileset dir="modules/jdbc-pool" >
<exclude name=".*/**"/>
@@ -958,6 +960,8 @@
<exclude name="webresources/**"/>
<!-- Exclude test files with unusual encodings -->
<exclude name="webapp/jsp/encoding/**"/>
+ <!-- Exclude OpenSSL index files -->
+ <exclude name="**/index.db" />
</fileset>
</checkstyle>
</target>
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
