Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/component_solr.scala
changeset 81779 e9f3dbcf854f
parent 81778 14ace6211ce8
child 81784 12028de0b66a 
--- a/src/Pure/Admin/component_solr.scala	Sun Jan 12 13:42:01 2025 +0100
+++ b/src/Pure/Admin/component_solr.scala	Sun Jan 12 13:54:44 2025 +0100
@@ -73,7 +73,9 @@
 
       val solr_jars =
         File.read_dir(component_dir.lib).filterNot((name: String) =>
-          classpath.contains(name) || name.startsWith("slf4j-api"))
+          classpath.contains(name) ||
+            name.startsWith("slf4j-api") ||
+            name.startsWith("log4j-slf4j2"))
 
       component_dir.write_settings("""
 SOLR_HOME="$COMPONENT"
isabelle