# HG changeset patch
# User wenzelm
# Date 1738269884 -3600
# Node ID 337d3bb653257102b18cf41533f4f50d355edc9a
# Parent  cd3026c7d3bda81c15074d351704d4196242691b
more thorough cleanup;

diff -r cd3026c7d3bd -r 337d3bb65325 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Thu Jan 30 20:55:42 2025 +0100
+++ b/src/Pure/Admin/build_release.scala	Thu Jan 30 21:44:44 2025 +0100
@@ -504,6 +504,10 @@
               Bash.strings(sessions), echo = true).check
           Isabelle_System.make_directory(database_target_dir)
           Isabelle_System.copy_dir(database_dir, database_target_dir, direct = true)
+
+          Isabelle_System.rm_tree(database_dir)
+          database_dir.dir.file.delete  // "$FIND_FACTS_HOME_USER/solr"
+          database_dir.dir.dir.file.delete  // "$FIND_FACTS_HOME_USER"
         }
 
         if (!include_library) other_isabelle_purge("browser_info")
diff -r cd3026c7d3bd -r 337d3bb65325 src/Pure/System/other_isabelle.scala
--- a/src/Pure/System/other_isabelle.scala	Thu Jan 30 20:55:42 2025 +0100
+++ b/src/Pure/System/other_isabelle.scala	Thu Jan 30 21:44:44 2025 +0100
@@ -187,6 +187,7 @@
 
   def cleanup(): Unit = {
     clean_settings()
+    ssh.delete(expand_path(Host.private_data.database))
     ssh.delete(etc, isabelle_home_user)
   }
 }