--- a/src/Pure/Admin/isabelle_cronjob.scala Fri Dec 10 18:56:18 2021 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala Fri Dec 10 19:21:14 2021 +0100
@@ -75,8 +75,8 @@
val mailman_archives: Logger_Task =
Logger_Task("mailman_archives", logger =>
{
- Mailman.isabelle_users.download_text(mailman_archives_dir)
- Mailman.isabelle_dev.download_text(mailman_archives_dir)
+ Mailman.isabelle_users.download(mailman_archives_dir)
+ Mailman.isabelle_dev.download(mailman_archives_dir)
})
--- a/src/Pure/General/mailman.scala Fri Dec 10 18:56:18 2021 +0100
+++ b/src/Pure/General/mailman.scala Fri Dec 10 19:21:14 2021 +0100
@@ -81,6 +81,10 @@
def download_msg(target_dir: Path, progress: Progress = new Progress): List[Path] =
hrefs_msg.flatMap(get(target_dir, _, progress = progress))
+
+ def download(target_dir: Path, progress: Progress = new Progress): List[Path] =
+ download_text(target_dir, progress = progress) :::
+ download_msg(target_dir, progress = progress)
}