# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1739546493 -3600
# Node ID 4a67710fb5f76655f03490b01c58eb3df95fe1b2
# Parent  69ed0333ba5f1b7fc4c656dc3231342aa0fd2b5b
clarified: more operations;

diff -r 69ed0333ba5f -r 4a67710fb5f7 src/Tools/Find_Facts/src/solr.scala
--- a/src/Tools/Find_Facts/src/solr.scala	Fri Feb 14 11:36:26 2025 +0100
+++ b/src/Tools/Find_Facts/src/solr.scala	Fri Feb 14 16:21:33 2025 +0100
@@ -389,11 +389,11 @@
         if (cores.contains(database)) server.getCoreContainer.reload(database)
         else server.getCoreContainer.create(database, Map.empty.asJava)
   
-        new Database(props, server)
+        new Database(props, database_dir(database), server)
       }
   }
 
-  class Database private[Solr](val props: Properties.T, solr: EmbeddedSolrServer)
+  class Database private[Solr](val props: Properties.T, val dir: Path, solr: EmbeddedSolrServer)
     extends AutoCloseable {
     override def close(): Unit = solr.close()