This is an automated email from the ASF dual-hosted git repository.
markt pushed a commit to branch 10.1.x
in repository https://gitbox.apache.org/repos/asf/tomcat.git
The following commit(s) were added to refs/heads/10.1.x by this push:
new b84614d0be Better handling of *.db files
b84614d0be is described below
commit b84614d0be4be712c8704ef15d0b8db7e965abf8
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 262ea93c08..a5e8bf2298 100644
--- a/build.xml
+++ b/build.xml
@@ -312,18 +312,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"/>
@@ -928,6 +928,8 @@
<!-- Exclude developer specific local files -->
<exclude name="build.properties" />
<exclude name="res/maven/mvn.properties" />
+ <!-- Exclude OpenSSL index files -->
+ <exclude name="**/index.db" />
</fileset>
<fileset dir="modules/jdbc-pool" >
<exclude name=".*/**"/>
@@ -965,6 +967,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]
