# HG changeset patch
# User wenzelm
# Date 1736714397 -3600
# Node ID d7113296c541e176a75abcacb3a30b030129302b
# Parent  88c172ebffdd8787454a38abc47fc57bdd4ee43f
proper initialization of settings: avoid accidental intrusion from parent process environment;

diff -r 88c172ebffdd -r d7113296c541 src/Tools/Find_Facts/etc/settings
--- a/src/Tools/Find_Facts/etc/settings	Sun Jan 12 21:38:38 2025 +0100
+++ b/src/Tools/Find_Facts/etc/settings	Sun Jan 12 21:39:57 2025 +0100
@@ -4,5 +4,6 @@
 FIND_FACTS_WEB="$ISABELLE_HOME_USER/find_facts/web"
 
 SOLR_DATA="$ISABELLE_HOME_USER/find_facts/solr"
+SOLR_COMPONENTS=""
 
 ISABELLE_TOOLS="$ISABELLE_TOOLS:$FIND_FACTS_HOME/Tools"