changeset 73415 | 043b56d882d3 |
parent 73340 | 0ffcad1f6130 |
child 73534 | e7fb17bca374 |
--- a/src/Pure/Tools/phabricator.scala Fri Mar 12 19:42:18 2021 +0100 +++ b/src/Pure/Tools/phabricator.scala Fri Mar 12 19:43:49 2021 +0100 @@ -218,7 +218,7 @@ val archive = if (Url.is_wellformed(mercurial_source)) { val archive = tmp_dir + Path.basic("mercurial.tar.gz") - Bytes.write(archive, Url.read_bytes(Url(mercurial_source))) + Isabelle_System.download(mercurial_source, archive) archive } else Path.explode(mercurial_source)