# HG changeset patch
# User wenzelm
# Date 1738608627 -3600
# Node ID d526ae8fc0a0ef67917a5992ceb7bb831c50b44b
# Parent  926c445cdddeddfa36eb83ff3ad068d2a0607fd7
more uniform cleanup;

diff -r 926c445cddde -r d526ae8fc0a0 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Mon Feb 03 19:15:30 2025 +0100
+++ b/src/Pure/Admin/build_release.scala	Mon Feb 03 19:50:27 2025 +0100
@@ -527,7 +527,6 @@
       other_isabelle_purge("heaps")
 
       other_isabelle.cleanup()
-      other_isabelle.isabelle_home_user.file.delete
 
 
       progress.echo("Creating release archive " + context.isabelle_archive + " ...")
diff -r 926c445cddde -r d526ae8fc0a0 src/Pure/System/other_isabelle.scala
--- a/src/Pure/System/other_isabelle.scala	Mon Feb 03 19:15:30 2025 +0100
+++ b/src/Pure/System/other_isabelle.scala	Mon Feb 03 19:50:27 2025 +0100
@@ -188,5 +188,5 @@
   /* cleanup */
 
   def cleanup(): Unit =
-    ssh.delete(host_db, etc_settings, etc_preferences, etc)
+    ssh.delete(host_db, etc_settings, etc_preferences, etc, isabelle_home_user)
 }