| changeset 82071 | d526ae8fc0a0 |
| parent 82069 | 7a5d8adbbf0a |
| child 82709 | 1008b8e7c78d |
--- 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) }